sig
  type keyspec = Short | Long1 | Long2
  type parsetype = Gnu | Caml
  val set : 'a -> bool
  val clear : 'a -> bool
  val store : 'a -> 'b -> 'a
  type 'a option_parameters = {
    default : 'a;
    specs :
      (string * string list * string * string option * 'a Parseopt.action)
      list;
    to_string : 'a -> string;
    keyspecs : Parseopt.keyspec list;
    usage_prefix : string;
    usage_suffix : string;
    parsetype : Parseopt.parsetype;
    is_option : string -> bool;
    dashdash : bool;
    helpkeys : string list;
    helpfieldwidths : int * int * int;
    keepgoing : bool;
  }
  and 'a action_parameters = {
    options : 'a;
    args : string list;
    option_parameters : 'a Parseopt.option_parameters;
  }
  and 'a action =
      Action of ('a Parseopt.action_parameters -> 'a)
    | Conversion of ('a Parseopt.action_parameters -> string -> 'a)
    | Handler of ('a Parseopt.action_parameters -> 'a * string list)
  val set' : ('a -> 'a) -> 'a Parseopt.action_parameters -> 'a * string list
  val conversion' :
    ('a -> string -> 'a) -> 'a Parseopt.action_parameters -> 'a * string list
  val option_defaults : unit Parseopt.option_parameters
  exception MissingArgument of string
  exception UnknownOption of string
  exception ConversionFailure of string * string * string
  val help : 'a Parseopt.option_parameters -> unit
  val usage : 'a Parseopt.option_parameters -> unit
  val parse :
    'a Parseopt.option_parameters -> string list -> 'a * string list
  val parse_argv : 'a Parseopt.option_parameters -> 'a * string list
end