val mk_passive_clause :
B.t Terms.unit_clause -> B.t Terms.passive_clause
+ val mk_passive_goal :
+ B.t Terms.unit_clause -> B.t Terms.passive_clause
+
val eq_unit_clause : B.t Terms.unit_clause -> B.t Terms.unit_clause -> bool
val compare_unit_clause : B.t Terms.unit_clause -> B.t Terms.unit_clause -> int