sig
type t
module C :
sig
type t = C.t
val compare : t -> t -> int
val to_lits : t -> Libzipperposition.Index_intf.lits
end
val name : string
val empty : unit -> t
val add : t -> C.t -> t
val add_seq : t -> C.t Sequence.t -> t
val add_list : t -> C.t list -> t
val remove : t -> C.t -> t
val remove_seq : t -> C.t Sequence.t -> t
val retrieve_subsuming :
t -> Libzipperposition.Index_intf.lits -> C.t Sequence.t
val retrieve_subsuming_c : t -> C.t -> C.t Sequence.t
val retrieve_subsumed :
t -> Libzipperposition.Index_intf.lits -> C.t Sequence.t
val retrieve_subsumed_c : t -> C.t -> C.t Sequence.t
val iter : t -> C.t Sequence.t
val fold : ('a -> C.t -> 'a) -> 'a -> t -> 'a
end