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