class type['a]
cp =object
..end
A Configuration Parameter, in short cp, ie a value we can store in and read from a configuration file.
method get : 'a
method set : 'a -> unit
method get_default : 'a
method get_help : string
method get_name : string list
method reset : unit
Resets to the default value.
method add_hook : ('a -> 'a -> unit) -> unit
All the hooks are executed each time the method set is called, just after setting the new value.
method set_short_name : string -> unit
Used to generate command line arguments in Config_file.group.command_line_args
method get_short_name : string option
None
if no optional short_name was provided during object creation
and set_short_name
was never called.
method get_formatted : Stdlib.Format.formatter -> unit
method get_default_formatted : Stdlib.Format.formatter -> unit
method get_help_formatted : Stdlib.Format.formatter -> unit
method get_spec : Stdlib.Arg.spec
method set_raw : Raw.cp -> unit