Module Meta.Unboxed

Unboxed is a key for specifying that the type definition is subject to an [@unboxed] attribute (if true) or an [@boxed] attribute (if false).

val mem : ('a, 'b) t2 -> bool

mem m is true iff m has a binding for the key.

val add : bool -> ('a, 'b) t2 -> ('a, 'b) t2

add v m is m with the key bound to v

val find : ('a, 'b) t2 -> bool option

find m is the binding for the key (if any).

val remove : ('a, 'b) t2 -> ('a, 'b) t2

remove m is m with the binding for the key removed (if bound).