An efficient VMap that is backed by two vectors: one for keys and another for values.
IOHK Formal Methods Team
formal.methods@iohk.io
Apache-2.0
2022-10-17T00:00:00Z
None