module Make_Map_Lattice:
Equips an Hptmap with a lattice structure, provided that the values have a lattice structure.
Parameters: |
|
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.