int -> B.t Terms.foterm -> B.t Terms.foterm ->
B.t Terms.unit_clause * int
+ val mk_passive_clause :
+ 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
val empty_bag : B.t Terms.bag
+ val compare_passive_clauses :
+ B.t Terms.passive_clause -> B.t Terms.passive_clause -> int
+
end