Functor Enumsolver.Make (.ml)

module Make: 
functor (Dummy : sig

end) -> sig .. end

type state 

val solve : unit -> unit

val assume : (Hstring.t * int * int) list list -> cnumber:int -> unit

val clear : unit -> unit

val save : unit -> state

val restore : state -> unit