module type Map_Lattice =sig
..end
include Hptmap_sig.S
include Map_lattice.Lattice
val find_or_bottom : key -> t -> v
find key t
returns the value bound to key
in t
, or Value.bottom if
key
does not belong to t
.val find_lonely_key : t -> key * v
t
is a singleton map binding k
to v
, then returns the pair (k,v).Not_found
otherwise.