Functor Map_lattice.Make_MapSet_Lattice

module Make_MapSet_Lattice: functor (Key : Hptmap.Id_Datatype) -> functor (KSet : Lattice_type.Lattice_Set  with type O.elt = Key.t) -> functor (Value : Value) -> functor (KVMap : Map_Lattice  with type key = Key.t
                          and type v = Value.t) -> sig .. end

Builds a lattice mixing maps and sets, provided that each one has a lattice structure.

Parameters:

`Key`	:	`Hptmap.Id_Datatype`
`KSet`	:	`Lattice_type.Lattice_Set with type O.elt = Key.t`
`Value`	:	`Value`
`KVMap`	:	`Map_Lattice with type key = Key.t and type v = Value.t`

include Map_lattice.MapSet_Lattice

module With_Cardinality: functor (KVMap : Map_lattice.Map_Lattice_with_cardinality  with type t := KVMap.t
                                               and type key := Key.t
                                               and type v := Value.t) -> Map_lattice.MapSet_Lattice_with_cardinality  with type t := t
                                         and type key := Key.t
                                         and type v := Value.t