module Opti: sig .. end
sig
end
type mode =
|
Restart
Continue
val minimize : Facile.Goals.t -> Facile.Var.Fd.t -> ?control:(int -> unit) -> ?step:int -> ?mode:mode -> (int -> 'a) -> 'a option
Facile.Goals.t -> Facile.Var.Fd.t -> ?control:(int -> unit) -> ?step:int -> ?mode:mode -> (int -> 'a) -> 'a option