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