module type INDEXED_VAL = sig .. end
sig
end
include Plugin.STRING
type value
val add_choice : string -> value -> unit
string -> value -> unit
val get_val : unit -> value
unit -> value