package tezos-protocol-014-PtKathma

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type header

type t = private {

level : Raw_level.t;
index : Slot_index.t;
header : header;

}

val encoding : t Tezos_protocol_environment_014_PtKathma.Data_encoding.t

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

val register_slot : 
  context ->
  t ->
  (context * bool) Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult

val find : 
  context ->
  Raw_level.t ->
  t list option Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val finalize_current_slots : 
  context ->
  context Tezos_protocol_environment_014_PtKathma.Lwt.t

val finalize_pending_slots : 
  context ->
  (context * Endorsement.t)
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t