sig
  type ('main_in, 'main_out) t
  type 'a parse = string -> 'a
  val string : string Deprecated_fcommand.parse
  val int : int Deprecated_fcommand.parse
  val float : float Deprecated_fcommand.parse
  val date : Core.Std.Date.t Deprecated_fcommand.parse
  val sexp : Core.Std.Sexp.t Deprecated_fcommand.parse
  module Flag :
    sig
      type 'a t
      val map :
        f:('a -> 'b) ->
        'a Deprecated_fcommand.Flag.t -> 'b Deprecated_fcommand.Flag.t
    end
  val required :
    'a Deprecated_fcommand.parse -> 'a Deprecated_fcommand.Flag.t
  val optional :
    'a Deprecated_fcommand.parse -> 'a option Deprecated_fcommand.Flag.t
  val optional_with_default :
    'a -> 'a Deprecated_fcommand.parse -> 'a Deprecated_fcommand.Flag.t
  val listed :
    'a Deprecated_fcommand.parse -> 'a list Deprecated_fcommand.Flag.t
  val no_arg : [ `Absent | `Present ] Deprecated_fcommand.Flag.t
  val no_arg_bool : bool Deprecated_fcommand.Flag.t
  val capture_remaining_command_line :
    string list option Deprecated_fcommand.Flag.t
  val flag :
    string ->
    'a Deprecated_fcommand.Flag.t ->
    doc:string -> ('a -> 'm, 'm) Deprecated_fcommand.t
  module Anons :
    sig
      type 'a t
      val map :
        f:('a -> 'b) ->
        'a Deprecated_fcommand.Anons.t -> 'b Deprecated_fcommand.Anons.t
    end
  val ( %: ) :
    string -> 'a Deprecated_fcommand.parse -> 'a Deprecated_fcommand.Anons.t
  val many :
    string ->
    'a Deprecated_fcommand.parse -> 'a list Deprecated_fcommand.Anons.t
  val maybe :
    'a Deprecated_fcommand.Anons.t -> 'a option Deprecated_fcommand.Anons.t
  val maybe_with_default :
    'a -> 'a Deprecated_fcommand.Anons.t -> 'a Deprecated_fcommand.Anons.t
  val zero : unit Deprecated_fcommand.Anons.t
  val t2 :
    'a Deprecated_fcommand.Anons.t ->
    'b Deprecated_fcommand.Anons.t -> ('a * 'b) Deprecated_fcommand.Anons.t
  val t3 :
    'a Deprecated_fcommand.Anons.t ->
    'b Deprecated_fcommand.Anons.t ->
    'c Deprecated_fcommand.Anons.t ->
    ('a * 'b * 'c) Deprecated_fcommand.Anons.t
  val t4 :
    'a Deprecated_fcommand.Anons.t ->
    'b Deprecated_fcommand.Anons.t ->
    'c Deprecated_fcommand.Anons.t ->
    'd Deprecated_fcommand.Anons.t ->
    ('a * 'b * 'c * 'd) Deprecated_fcommand.Anons.t
  val anon :
    'a Deprecated_fcommand.Anons.t -> ('a -> 'm, 'm) Deprecated_fcommand.t
  val empty : unit -> ('a, 'a) Deprecated_fcommand.t
  val const : 'a -> ('a -> 'm, 'm) Deprecated_fcommand.t
  val ( ++ ) :
    ('m1, 'm2) Deprecated_fcommand.t ->
    ('m2, 'm3) Deprecated_fcommand.t -> ('m1, 'm3) Deprecated_fcommand.t
  val either :
    string ->
    ('a option -> 'b, 'a option -> 'a option -> 'b) Deprecated_fcommand.t
  val step : ('m1 -> 'm2) -> ('m1, 'm2) Deprecated_fcommand.t
  val cmd :
    summary:string ->
    ?readme:(unit -> string) ->
    ?autocomplete:Deprecated_command.Autocomplete.t ->
    ?global_flags:unit Deprecated_command.Flag.t list ->
    ('main, unit) Deprecated_fcommand.t -> 'main -> Deprecated_command.t
  val ounit_tests : unit -> OUnit.test
end