(* This order relation should be:
* - stable for instantiation
* - total on ground terms
+ *
*)
val compare_terms :
B.t Terms.foterm -> B.t Terms.foterm -> Terms.comparison
+ val compute_unit_clause_weight :
+ B.t Terms.unit_clause -> int
+
+ val compute_goal_weight :
+ B.t Terms.unit_clause -> int
+
end