module Typed_parameter:sig
..end
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
State.get_name ). | *) |
|
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
val get_value : t -> string