Functor Parameter_state.Make

module Make: 
functor (P : sig
val shortname : string
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