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