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