module IndexedVal: functor (V : Parameter_sig.Indexed_val_input) -> Parameter_sig.Indexed_val with type value = V.t
functor (
V
:
Parameter_sig.Indexed_val_input
) ->
Parameter_sig.Indexed_val
with type value = V.t
include Parameter_sig.String
type value
val add_choice : string -> value -> unit
string -> value -> unit
val get_val : unit -> value
unit -> value