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