package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

DAL related parameters for the PVMs.

type t = {

number_of_slots : int64;
attestation_lag : int64;
slot_size : int64;
page_size : int64;

}

DAL related parameters that would be useful to the kernel. These parameters are a subset of the DAL parametric constants defined in Constants_parametric_repr. We use int64 so they should be "large enough" to accommodate encoding changes of types in Constants_parametric_repr

val pp : Tezos_protocol_environment_alpha.Format.formatter -> t -> unit

Pretty-printer for the parameters.

val equal : t -> t -> bool

Equality of the parameters.

val encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

Encoding of the parameters.