sig
  type spec =
      Unit of (unit -> unit)
    | Bool of (bool -> unit)
    | Set of bool Pervasives.ref
    | Clear of bool Pervasives.ref
    | String of (string -> unit)
    | Set_string of string Pervasives.ref
    | Int of (int -> unit)
    | Set_int of int Pervasives.ref
    | Float of (float -> unit)
    | Set_float of float Pervasives.ref
    | Tuple of Arg.spec list
    | Symbol of string list * (string -> unit)
    | Rest of (string -> unit)
  and key = string
  and doc = string
  and usage_msg = string
  and anon_fun = string -> unit
  val parse :
    (Arg.key * Arg.spec * Arg.doc) list ->
    Arg.anon_fun -> Arg.usage_msg -> unit
  val parse_argv :
    ?current:int Pervasives.ref ->
    string array ->
    (Arg.key * Arg.spec * Arg.doc) list ->
    Arg.anon_fun -> Arg.usage_msg -> unit
  exception Help of string
  exception Bad of string
  val usage : (Arg.key * Arg.spec * Arg.doc) list -> Arg.usage_msg -> unit
  val current : int Pervasives.ref
end