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).