package tezos-protocol-013-PtJakart

An in-memory data-structure for a key-value map where all operations account for gas costs.

A module type for comparable values that also includes a cost function for metering gas depending on the cost of comparing values.

A functor for building gas metered maps.