package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module provides instantiation of both the WASM and Arith PVM which can be used to perform rollup computations, but cannot be used to compute proofs.

type void = |

type t = Tezos_protocol_environment_alpha.Context_binary.t

type tree = Tezos_protocol_environment_alpha.Context_binary.tree

val empty_tree : unit -> tree

module type S = sig ... end

module Arith : S

module Wasm : S

module Riscv : S