Functor Plugin.General_services.IndexedVal


module IndexedVal: 
functor (V : Plugin.COMPLEX_VALUE) -> Plugin.INDEXED_VAL with type value = V.t
Consult the Plugin Development Guide for additional details.
Parameters:
V : Plugin.COMPLEX_VALUE

include Plugin.STRING
type value 
the real type for the option
val add_choice : string -> value -> unit
adds a new choice for the option.
val get_val : unit -> value
the currently selected value.