Searched defs:ProofForestFindLoop (Results 1 – 1 of 1) sorted by relevance
53 using ProofForestFindLoop = GraphFindLoop; variable57 struct ProofForestFindLoop { struct59 struct apply {