module Make: functor (
P
:
sig
end
) ->
functor (
X
:
sig
include Datatype.S
val default : unit -> t
val option_name : string
val functor_name : string
end
) ->
sig
.. end
Parameters: |
P |
: |
sig val shortname: string end
|
X |
: |
sig
include Datatype.S
val default: unit -> t
val option_name: string
val functor_name: string
end
|
|
include Parameter_sig.S_no_parameter
module Is_set: State_builder.S
val group : Cmdline.Group.t
val stage : Cmdline.stage
val is_visible : bool
val is_dynamic : bool
val register_dynamic : string -> 'arg Type.t -> 'ret Type.t -> ('arg -> 'ret) -> 'arg -> 'ret
val gen_journalized : string -> 'arg Type.t -> ('arg -> unit) -> 'arg -> unit