sig
  type 'a t
  val ( %: ) : string -> 'Command.Arg_type.t -> 'Command.Anons.t
  val sequence : 'Command.Anons.t -> 'a list Command.Anons.t
  val non_empty_sequence :
    'Command.Anons.t -> ('a * 'a list) Command.Anons.t
  val maybe : 'Command.Anons.t -> 'a option Command.Anons.t
  val maybe_with_default : '-> 'Command.Anons.t -> 'Command.Anons.t
  val t2 :
    'Command.Anons.t -> 'Command.Anons.t -> ('a * 'b) Command.Anons.t
  val t3 :
    'Command.Anons.t ->
    'Command.Anons.t ->
    'Command.Anons.t -> ('a * 'b * 'c) Command.Anons.t
  val t4 :
    'Command.Anons.t ->
    'Command.Anons.t ->
    'Command.Anons.t ->
    'Command.Anons.t -> ('a * 'b * 'c * 'd) Command.Anons.t
end