Module Option.APInv
module APInv:sig..end
type safe_approximation_type =
| |
Split |
| |
CoSplit |
val safe_approximation_names : (safe_approximation_type * string) listval safe_approximation_opt : safe_approximation_type refval safe_approximation : unit -> safe_approximation_typeval arg_spec : unit -> (string * Arg.spec * string) list