+type 'a bag = ('a unit_clause * bool) M.t
+
+module type Blob =
+ sig
+ type t
+ val eq : t -> t -> bool
+ val compare : t -> t -> int
+ val eqP : t
+ val pp : t -> string
+ type input
+ val embed : input -> t foterm
+ val saturate : input -> input -> t foterm * t foterm
+ end
+