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