package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module re-exports definitions from Dal_attestation_repr and Raw_context.Dal.

type t
type operation = {
  1. attestor : public_key_hash;
  2. attestation : t;
  3. level : Raw_level.t;
}
type shard_index = int
val empty : t
val is_attested : t -> Slot_index.t -> bool
val occupied_size_in_bits : t -> int
val expected_size_in_bits : max_index:Slot_index.t -> int
val shards_of_attestor : context -> attestor:public_key_hash -> shard_index list option
val record_attested_shards : context -> t -> int list -> context
val init_committee : context -> committee -> context
OCaml

Innovation. Community. Security.