module Make:
Parameters: |
P |
: |
sig
val shortname: string
val parameters: (string, Typed_parameter.t list) Hashtbl.t
module L: sig
val abort: ('a,'b) Log.pretty_aborter
val warning: 'a Log.pretty_printer
end
val messages_group: Cmdline.Group.t
end
|
|
module Bool:
module Action:
module False:
module True:
module WithOutput:
module Int: functor (
X
:
sig
include Parameter_sig.Input_with_arg
val default : int
end
) ->
Parameter_sig.Int
module Zero:
module String: functor (
X
:
sig
include Parameter_sig.Input_with_arg
val default : string
end
) ->
Parameter_sig.String
module EmptyString:
module StringSet:
module FilledStringSet: functor (
X
:
sig
include Parameter_sig.Input_with_arg
val default : Datatype.String.Set.t
end
) ->
Parameter_sig.String_set
module StringList:
module IndexedVal:
module StringHashtbl:
val parameters : unit -> Typed_parameter.t list