package tezos-protocol-015-PtLimaPt

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

A smart contract rollup has a kind, which assigns meaning to rollup operations.

Sourcetype t =

The list of available rollup kinds.

This list must only be appended for backward compatibility.

Sourceval encoding : t Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Sourceval equal : t -> t -> bool

Sourceval pp : Tezos_protocol_environment_015_PtLimaPt.Format.formatter -> t -> unit

Sourceval pvm_of : t -> PVM.t

pvm_of kind returns the PVM of the given kind.

Sourceval of_pvm : PVM.t -> t

of_pvm pvm returns the kind of the given PVM.

Sourceval pvm_of_name : name:string -> PVM.t option

pvm_of_name ~name is Some (module I) if an implemented PVM called name. This function returns None otherwise.

Sourceval all : t list

all returns all implemented PVM.

Sourceval all_names : string list

all_names returns all implemented PVM names.

Sourceval of_name : string -> t option

of_name name returns the kind of the PVM of the specified name.

Sourceval name_of : t -> string

name_of kind returns a human-readable representation of kind.