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 (K : sig

val is_summary : Key.t -> bool

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

Adds cardinality functions for maps, according to a notion of cardinality on the values.