Module Meta.Max

Max is a key to store a maximal value for the type or field value.

type ('a, 'b) value = 'b

The type for the key's value.

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

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

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

add v m is m with the key bound to v

val find : ('a, 'b) t2 -> ('a, 'b) value 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).