Module CLIArgExtSource

Parsing of command line arguments

Sourcetype help_extent =
  1. | NoSubCommand
  2. | SubCommand of string
  3. | AllSubCommand
Sourcetype help_style =
  1. | Markdown
  2. | Output
Sourceval usage_msg : string
Sourceval fspecs : unit -> (string * Arg.spec * string) list * (unit -> OASISContext.t)
Sourceval pp_print_help : ctxt:OASISContext.t -> help_extent -> help_style -> Format.formatter -> unit -> unit
Sourceval parse_and_run : unit -> unit