sig
  type 'a parser = string -> [ `Error of string | `Ok of 'a ]
  type 'a printer = Format.formatter -> 'a -> unit
  type 'a converter = 'a Cmdliner.Arg.parser * 'a Cmdliner.Arg.printer
  val some :
    ?none:string ->
    'a Cmdliner.Arg.converter -> 'a option Cmdliner.Arg.converter
  type 'a t
  type info
  val info :
    ?docs:string ->
    ?docv:string -> ?doc:string -> string list -> Cmdliner.Arg.info
  val ( & ) : ('a -> 'b) -> 'a -> 'b
  val flag : Cmdliner.Arg.info -> bool Cmdliner.Arg.t
  val flag_all : Cmdliner.Arg.info -> bool list Cmdliner.Arg.t
  val vflag : 'a -> ('a * Cmdliner.Arg.info) list -> 'a Cmdliner.Arg.t
  val vflag_all :
    'a list -> ('a * Cmdliner.Arg.info) list -> 'a list Cmdliner.Arg.t
  val opt :
    ?vopt:'a ->
    'a Cmdliner.Arg.converter -> 'a -> Cmdliner.Arg.info -> 'a Cmdliner.Arg.t
  val opt_all :
    ?vopt:'a ->
    'a Cmdliner.Arg.converter ->
    'a list -> Cmdliner.Arg.info -> 'a list Cmdliner.Arg.t
  val pos :
    ?rev:bool ->
    int ->
    'a Cmdliner.Arg.converter -> 'a -> Cmdliner.Arg.info -> 'a Cmdliner.Arg.t
  val pos_all :
    'a Cmdliner.Arg.converter ->
    'a list -> Cmdliner.Arg.info -> 'a list Cmdliner.Arg.t
  val pos_left :
    ?rev:bool ->
    int ->
    'a Cmdliner.Arg.converter ->
    'a list -> Cmdliner.Arg.info -> 'a list Cmdliner.Arg.t
  val pos_right :
    ?rev:bool ->
    int ->
    'a Cmdliner.Arg.converter ->
    'a list -> Cmdliner.Arg.info -> 'a list Cmdliner.Arg.t
  val value : 'a Cmdliner.Arg.t -> 'a Cmdliner.Term.t
  val required : 'a option Cmdliner.Arg.t -> 'a Cmdliner.Term.t
  val non_empty : 'a list Cmdliner.Arg.t -> 'a list Cmdliner.Term.t
  val last : 'a list Cmdliner.Arg.t -> 'a Cmdliner.Term.t
  val bool : bool Cmdliner.Arg.converter
  val char : char Cmdliner.Arg.converter
  val int : int Cmdliner.Arg.converter
  val nativeint : nativeint Cmdliner.Arg.converter
  val int32 : int32 Cmdliner.Arg.converter
  val int64 : int64 Cmdliner.Arg.converter
  val float : float Cmdliner.Arg.converter
  val string : string Cmdliner.Arg.converter
  val enum : (string * 'a) list -> 'a Cmdliner.Arg.converter
  val file : string Cmdliner.Arg.converter
  val dir : string Cmdliner.Arg.converter
  val non_dir_file : string Cmdliner.Arg.converter
  val list :
    ?sep:char -> 'a Cmdliner.Arg.converter -> 'a list Cmdliner.Arg.converter
  val array :
    ?sep:char -> 'a Cmdliner.Arg.converter -> 'a array Cmdliner.Arg.converter
  val pair :
    ?sep:char ->
    'a Cmdliner.Arg.converter ->
    'b Cmdliner.Arg.converter -> ('a * 'b) Cmdliner.Arg.converter
  val t2 :
    ?sep:char ->
    'a Cmdliner.Arg.converter ->
    'b Cmdliner.Arg.converter -> ('a * 'b) Cmdliner.Arg.converter
  val t3 :
    ?sep:char ->
    'a Cmdliner.Arg.converter ->
    'b Cmdliner.Arg.converter ->
    'c Cmdliner.Arg.converter -> ('a * 'b * 'c) Cmdliner.Arg.converter
  val t4 :
    ?sep:char ->
    'a Cmdliner.Arg.converter ->
    'b Cmdliner.Arg.converter ->
    'c Cmdliner.Arg.converter ->
    'd Cmdliner.Arg.converter -> ('a * 'b * 'c * 'd) Cmdliner.Arg.converter
end