Meta.Key
Key (V) is a new key with values of type 'a V.t.
Key (V)
'a V.t
module V : VALUE
type 'a meta := 'a t
type 'a value = 'a V.t
The type for the key's value.
val mem : 'a meta -> bool
mem m is true iff m has a binding for the key.
mem m
true
m
val add : 'a value -> 'a meta -> 'a meta
add v m is m with the key bound to v
add v m
v
val find : 'a meta -> 'a value option
find m is the binding for the key (if any).
find m
val remove : 'a meta -> 'a meta
remove m is m with the binding for the key removed (if bound).
remove m