Searched defs:Implic (Results 1 – 5 of 5) sorted by relevance
1703 , Implic { ic_skols = skols } <- implic function1713 , Implic { ic_skols = skols, ic_info = skol_info } <- implic function1741 , Implic { ic_given = given, ic_tclvl = lvl, ic_info = skol_info } <- implic function
1065 = Implic { -- Invariants for a tree of implications: constructor
1255 = Implic { -- Invariants for a tree of implications: constructor1482 Implic { ic_skol = [(a::kx), kx, (b::kx)], ... } function
1098 = Implic { -- Invariants for a tree of implications: constructor