package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

type t =
  1. | Example_arith
  2. | Wasm_2_0_0

The list of available rollup kinds.

This list must only be appended for backward compatibility.

val equal : t -> t -> bool
val pvm_of : t -> PVM.t

pvm_of kind returns the PVM of the given kind.

val of_pvm : PVM.t -> t

of_pvm pvm returns the kind of the given PVM.

val 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.

val all : t list

all returns all implemented PVM.

val all_names : string list

all_names returns all implemented PVM names.

val of_name : string -> t option

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

val name_of : t -> string

name_of kind returns a human-readable representation of kind.