Functor Plugin.General_services.IndexedVal

module IndexedVal: 
functor (V : Plugin.Indexed_val_input) -> Plugin.Indexed_val with type value = V.t
Parameters:
V : Plugin.Indexed_val_input

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.