Searched refs:IsProofEntailedByForest (Results 1 – 1 of 1) sorted by relevance
31 struct IsProofEntailedByForest { struct48 …using type = And(CurrentResult, IsProofEntailedByForest(EntailedProofTh, EntailedProofHps, Forest)… argument