- | Timeout of int * B.t Terms.bag
- type bag = B.t Terms.bag * int
- val mk_passive : bag -> B.input * B.input -> bag * B.t Terms.unit_clause
- val mk_goal : bag -> B.input * B.input -> bag * B.t Terms.unit_clause
+ | Timeout of int * t Terms.bag
+ type bag = t Terms.bag * int
+ val mk_passive : bag -> input * input -> bag * t Terms.unit_clause
+ val mk_goal : bag -> input * input -> bag * t Terms.unit_clause