Module Tezos_raw_protocol_013_PtJakart.Carbonated_mapSource

Sourcemodule type S = sig ... end

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

Sourcemodule type COMPARABLE = sig ... end

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

Sourcemodule Make (O : COMPARABLE) : S with type key := O.t

A functor for building gas metered maps.