module type Value_datatype =sig..end
Signature of the optional value associated to the key and required to build map parameters.
include Datatype.S
type key
val of_string : key:key ->
prev:t option -> string option -> t optionkey is the key associated to this value, while prev is the previous
value associated to this key (if any). The optional string is None if
there is no value associated to the key, and Some v (potentially v =) otherwise.
""
Cannot_build if there is no element corresponding to the given
string.Some v
otherwise.val to_string : key:key -> t option -> string optionkey is the key associated to this value. The optional string is None if
there is no value associated to the key, and Some v (potentially v =) otherwise.
""
Some v
otherwise.