module Make_MapSet_Lattice:functor (
Key
:
Hptmap.Id_Datatype
) ->
Parameters: |
|
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