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