Module Facile.Opti

module Opti: 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