(* these could be outside the module, but to ease experimentation
* we allow them to be tied with the ordering *)
- val compute_unit_clause_weight : 't Terms.unit_clause -> int
- val compute_goal_weight : 't Terms.unit_clause -> int
+ val compute_clause_weight : 't Terms.clause -> int
val name : string