package facile

  1. Overview
  2. Docs
type mode =
  1. | Restart
  2. | Continue
val minimize : Goals.t -> Var.Fd.t -> ?control:(int -> unit) -> ?step:int -> ?mode:mode -> (int -> 'a) -> 'a option
OCaml

Innovation. Community. Security.