sig   type mode = Restart | Continue   val minimize :     Fcl_goals.t ->     Fcl_var.Fd.t ->     ?control:(int -> unit) ->     ?step:int -> ?mode:Fcl_opti.mode -> (int -> 'a) -> 'a option end