module M : Map.S with type key = int
type 'a bag = int (* max ID *)
- * (('a unit_clause * bool * int) M.t)
+ * (('a clause * bool * int) M.t)
(* also gives a fresh ID to the clause *)
val add_to_bag :
- 'a unit_clause -> 'a bag ->
- 'a bag * 'a unit_clause
+ 'a clause -> 'a bag ->
+ 'a bag * 'a clause
val replace_in_bag :
- 'a unit_clause * bool * int -> 'a bag ->
+ 'a clause * bool * int -> 'a bag ->
'a bag
val get_from_bag :
- int -> 'a bag -> 'a unit_clause * bool * int
+ int -> 'a bag -> 'a clause * bool * int
val empty_bag : 'a bag