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