package tezos-protocol-alpha

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Tezos/Protocol: economic-protocol definition

Install

dune-project

Dependency

www.tezos.com Edit opam file Versions (8)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Carbonated_map/Make_builder/index.html

Module `Carbonated_map.Make_builder`Source

A functor for exposing the type of a carbonated map before the carbonated make is created. This is useful in scenarios where the map that will need to be carbonated is defined before the gas consuming functions for the carbonation are available. See for example Raw_context.

Parameters

module C : COMPARABLE

Signature

Sourcetype 'a t

Source

module Make
  (G : GAS) : 
  S with type key = C.t and type context = G.context and type 'a t := 'a t