package tezos-protocol-013-PtJakart

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

Here is the list of PVMs available in this protocol.

Sourcemodule PVM : sig ... end

Sourceval of_kind : Alpha_context.Sc_rollup.Kind.t -> PVM.t

of_kind kind returns the PVM of the given kind.

Sourceval kind_of : PVM.t -> Alpha_context.Sc_rollup.Kind.t

kind_of pvm returns the PVM of the given kind.

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

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

Sourceval all : Alpha_context.Sc_rollup.Kind.t list

all returns all implemented PVM.

Sourceval all_names : string list

all_names returns all implemented PVM names.

Sourceval kind_of_string : string -> Alpha_context.Sc_rollup.Kind.t option

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

Sourceval string_of_kind : Alpha_context.Sc_rollup.Kind.t -> string

string_of_kind kind returns a human-readable representation of kind.

val pp : 
  Tezos_protocol_environment_013_PtJakart.Format.formatter ->
  Alpha_context.Sc_rollup.Kind.t ->
  unit

pp fmt kind is a pretty-printer for kind.