Meta.Immediate64
Immediate64 is a key for specifying that the type definition is subject to an [@immediate64] attribute (if true).
Immediate64
[@immediate64]
true
val mem : ('a, 'b) t2 -> bool
mem m is true iff m has a binding for the key.
mem m
m
val add : bool -> ('a, 'b) t2 -> ('a, 'b) t2
add v m is m with the key bound to v
add v m
v
val find : ('a, 'b) t2 -> bool option
find m is the binding for the key (if any).
find m
val remove : ('a, 'b) t2 -> ('a, 'b) t2
remove m is m with the binding for the key removed (if bound).
remove m