package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

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

Module `Tezos_raw_protocol_alpha.Tx_rollup_l2_proof`Source

type t =
  Tezos_protocol_environment_alpha.Context.Proof.stream
    Tezos_protocol_environment_alpha.Context.Proof.t

Sourceval encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

Sourcetype serialized = private string

A compact binary representation of the proofs.

Sourceval length : serialized -> int

val serialized_encoding : 
  serialized Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval proof_of_serialized_opt : serialized -> t option

Sourceval serialize_proof_exn : t -> serialized

Sourcemodule Internal_for_tests : sig ... end