functor (Dummy : sig  end) ->
  sig
    type state
    val solve : unit -> unit
    val assume : (Hstring.t * int * int) list list -> cnumber:int -> unit
    val clear : unit -> unit
    val save : unit -> Enumsolver.Make.state
    val restore : Enumsolver.Make.state -> unit
  end