Functor Map_lattice.Make_Map_Lattice

module Make_Map_Lattice: 
functor (Key : Hptmap.Id_Datatype-> 
functor (Value : Lattice_type.Full_Lattice-> 
functor (KVMap : Hptmap_sig.S with type key = Key.t and type v = Value.t-> sig .. end

Equips an Hptmap with a lattice structure, provided that the values have a lattice structure.

Parameters:
Key : Hptmap.Id_Datatype
Value : Lattice_type.Full_Lattice
KVMap : Hptmap_sig.S with type key = Key.t and type v = Value.t

include Map_lattice.Map_Lattice
module With_Cardinality: 
functor (Value : Lattice_type.Full_AI_Lattice_with_cardinality with type t := Value.t-> Map_lattice.Map_Lattice_with_cardinality with type t := t and type key := key and type v := v