HeteroMap.Map
Documentation
A Key in a heterogeneous map. x
is the key identifier type,
which ensures that we don't look up a key in a map that doesn't
have it.
hetero-map-0.21: Pure heterogeneous maps.
HeteroMap.Map
A Key in a heterogeneous map. x
is the key identifier type,
which ensures that we don't look up a key in a map that doesn't
have it.