Module type Map_lattice.Map_Lattice

module type Map_Lattice = sig .. end
A map with a complete lattice structure.

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
If t is a singleton map binding k to v, then returns the pair (k,v).
Raises Not_found otherwise.