- val mk_passive : bag -> input * input -> bag * t Terms.unit_clause
- val mk_goal : bag -> input * input -> bag * t Terms.unit_clause
+ val mk_passive : bag -> input * input -> bag * t Terms.clause
+ val mk_goal : bag -> input * input -> bag * t Terms.clause