module SubCommand:SubCommand definitionsig
..end
type
t = {
|
scmd_name : |
(* | Name of the subcommand, used to call it | *) |
|
scmd_synopsis : |
(* | Short description of the subcommnad, displayed when doing a summary of the available subcommands | *) |
|
scmd_help : |
(* | Long description of the subcommand,
displayed when showing help of the
subcommand.
It can contains variable substitution as
defined in | *) |
|
scmd_specs : |
(* | Arg spec list | *) |
|
scmd_usage : |
(* | Arg usage text | *) |
|
scmd_anon : |
(* | Arg anon function | *) |
|
scmd_main : |
(* | Real action of the subcommand | *) |
val make : ?std_usage:bool ->
OASISTypes.name -> string -> string -> (unit -> unit) -> t
make ~std_usage name synopsis help main
Create a subcommand using
provided data, see SubCommand.t
for their meanings. If ~std_usage
is set
use "[options*]"
for it. Fields that are not defined by make use
a sane default.val register : t -> unit
val fold : (t -> 'a -> 'a) -> 'a -> 'a
val find : OASISTypes.name -> t