An efficient VMap that is backed by two vectors: one for keys and another for values.
IOHK Formal Methods Team
[email protected]
Apache-2.0
2022-11-11T00:24:50Z
None