module type Parameter = sig
.. end
Generic outputs signatures of parameters.
Consult the Plugin Development Guide for additional details.
type
t
val set : t -> unit
Set the option.
val add_set_hook : (t -> t -> unit) -> unit
Add a hook to be called whenafter the function
Plugin.Parameter.set
is called.
The first parameter of the hook is the old value of the parameter while
the second one is the new value.
val get : unit -> t
Option value (not necessarly set on the current command line).
val clear : unit -> unit
Set the option to its default value, that is the value if set
was
never called.
val is_default : unit -> bool
Is the option equal to its default value?
val is_set : unit -> bool
include State_builder.S
val equal : t -> t -> bool
val add_alias : string list -> unit
Add some aliases for this option. That is other option names which have
exactly the same semantics that the initial option.