Searched refs:IsForestEntailedByForest (Results 1 – 1 of 1) sorted by relevance
39 struct IsForestEntailedByForest { struct72 …using type = And(IsForestEntailedByForest(Forest1, Forest2), IsForestEntailedByForest(Forest2, For…