package tezos-protocol-alpha

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-alpha

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_raw_protocol_alpha.Sc_rollup_arith`Source

This module provides a temporary toy rollup to be used as a demo.

Sourcemodule type S = sig ... end

This rollup is a stack machine equipped with addition.

Source

module Protocol_implementation : 
  S
    with type context = Tezos_protocol_environment_alpha.Context.t
     and type state = Tezos_protocol_environment_alpha.Context.tree
     and type proof =
           Tezos_protocol_environment_alpha.Context.Proof.tree
             Tezos_protocol_environment_alpha.Context.Proof.t

Source

module Make
  (Context : Sc_rollup_PVM_sig.Generic_pvm_context_sig) : 
  S
    with type context = Context.Tree.t
     and type state = Context.tree
     and type proof = Context.proof

package tezos-protocol-alpha

Module Tezos_raw_protocol_alpha.Sc_rollup_arithSource

Module `Tezos_raw_protocol_alpha.Sc_rollup_arith`Source