sig
  type obs = Inf.ConstBasic.obs
  val add : Inf.ConstBasic.t -> unit
  val is_false : string -> unit
  val remove : Inf.ConstBasic.t -> unit
  val add_wl : Inf.Const.obs -> unit
  val solve : unit -> unit
  val string_of : unit -> string
  val reset : unit -> unit
  val full_visit : unit -> unit
end