Searched refs:ProofNotEntailedByForestBecauseHpsNotASubsetErrorTag (Results 1 – 2 of 2) sorted by relevance
101 struct ProofNotEntailedByForestBecauseHpsNotASubsetErrorTag { struct
85 … ConstructError(ProofNotEntailedByForestBecauseHpsNotASubsetErrorTag, ForestHps, ProofHps,