Searched defs:ProofNotEntailedByForestBecauseThNotFoundErrorTag (Results 1 – 1 of 1) sorted by relevance
91 struct ProofNotEntailedByForestBecauseThNotFoundErrorTag { struct93 using apply = ProofNotEntailedByForestBecauseThNotFoundError<ProofTh, ForestThs>;