package tezos-protocol-016-PtMumbai

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t =
  Tezos_protocol_environment_016_PtMumbai.Context.Proof.stream
    Tezos_protocol_environment_016_PtMumbai.Context.Proof.t

val encoding : t Tezos_protocol_environment_016_PtMumbai.Data_encoding.t

type serialized = private string

A compact binary representation of the proofs.

val length : serialized -> int

val serialized_encoding : 
  serialized Tezos_protocol_environment_016_PtMumbai.Data_encoding.t

val proof_of_serialized_opt : serialized -> t option

val serialize_proof_exn : t -> serialized

module Internal_for_tests : sig ... end