module type Indexed_val = sig .. end
sig
end
include Parameter_sig.String
type value
val add_choice : string -> value -> unit
string -> value -> unit
val get_val : unit -> value
unit -> value