module type CLAUSE_SET = sig .. end
sig
end
val on_add_clause : C.t Logtk.Signal.t
C.t Logtk.Signal.t
val on_remove_clause : C.t Logtk.Signal.t
val add : C.t Sequence.t -> unit
C.t Sequence.t -> unit
val remove : C.t Sequence.t -> unit