Module type Plugin.INDEXED_VAL


module type INDEXED_VAL = sig .. end
option interface

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.