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