Functor Cc.Make (.ml)

module Make: 
functor (X : Sig.X) -> S 

type t 

module TimerCC: Timer.S 

val empty : unit -> t

val assume : cs:bool ->
       Literal.LT.t -> Explanation.t -> t -> t * Term.Set.t * int

val query : Literal.LT.t -> t -> Sig.answer

val class_of : t -> Term.t -> Term.t list