module StringHashtbl: functor (X : Plugin.Parameter_input_with_arg) -> functor (V : siginclude Datatype.S val parse : string -> string * tval no_binding : string -> tend) -> Plugin.STRING_HASHTBL with type value = V.t
functor (
X
:
Plugin.Parameter_input_with_arg
) ->
V
sig
include Datatype.S
val parse : string -> string * t
string -> string * t
val no_binding : string -> t
string -> t
end
Plugin.STRING_HASHTBL
with type value = V.t
sig include Datatype.S val parse: string -> string * t val no_binding: string -> t end
include Plugin.GEN_STRING_SET
type value
val find : string -> value
string -> value