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