Searched refs:ProofNotEntailedByForestBecauseHpsNotASubsetError (Results 1 – 1 of 1) sorted by relevance
97 struct ProofNotEntailedByForestBecauseHpsNotASubsetError { struct103 using apply = ProofNotEntailedByForestBecauseHpsNotASubsetError<ForestHps, ProofHps, Difference>;