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