Home
last modified time | relevance | path

Searched defs:IsForestEntailedByForest (Results 1 – 1 of 1) sorted by relevance

/external/google-fruit/include/fruit/impl/meta/
Dproof_tree_comparison.h39 struct IsForestEntailedByForest { struct
41 struct apply {