module Typed_parameter:sig
..end
Parameter settable through a command line option.
This is a low level API, internally used by the kernel. As a plug-in
developer, you certainly prefer to use the API of Plugin
instead.
type ('a, 'b)
gen_accessor = {
|
get : |
|
set : |
|
add_set_hook : |
|
add_update_hook : |
type'a
accessor =('a, 'a) gen_accessor
type
typed_accessor =
| |
Bool of |
(* | the negative option, if any | *) |
| |
Int of |
(* | getting range | *) |
| |
String of |
(* | possible values | *) |
type
parameter = private {
|
name : |
(* | Name of the option corresponding to the parameter.
It is exactly the state name of the option (see
| *) |
|
help : |
(* | Help message | *) |
|
accessor : |
(* | How to get and set the value of the parameter | *) |
|
is_set : |
(* | Is this option really set? | *) |
include Datatype.S_with_collections
val get : string -> t
Get the parameter from the option name.
val get_value : t -> string
Get the current value of the parameter, as a string.