Module CLIArgExt

module CLIArgExt: sig .. end
Parsing of command line arguments

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