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