Check if map has a value.
a map
search value
compare function (a, b)
map function (v, k, x)
[*, v] ∈ x?
Generated using TypeDoc
Check if map has a value.