module IndexedVal: functor (V : COMPLEX_VALUE) -> Plugin.INDEXED_VAL with type value = V.t
functor (
V
:
COMPLEX_VALUE
) ->
Plugin.INDEXED_VAL
with type value = V.t
include Plugin.STRING
type value
val add_choice : string -> value -> unit
string -> value -> unit
val get_val : unit -> value
unit -> value