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