tezos-baking-013-PtJakart 14.0

tezos-baking-013-PtJakart

To focus the search input from anywhere on the page, press the 'S' key.

in-package search v0.1.0

package tezos-baking-013-PtJakart

tezos-baking-013-PtJakart
- Tezos_baking_013_PtJakart
tezos-baking-013-PtJakart.mockup-simulator
- Tezos_013_PtJakart_mockup_simulator
tezos-baking-013-PtJakart.tenderbrute
- Tenderbrute_013_PtJakart
  - Tenderbrute

Legend:
Library
Module
Module type
Parameter
Class
Class type

type incremental = {

predecessor : Baking_state.block_info;
context : Tezos_protocol_environment.Context.t;
state : Tezos_protocol_013_PtJakart.Protocol.validation_state;
rev_operations : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Operation.packed list;
header : Tezos_base.Block_header.shell_header;

}

val load_context : 
  context_path:string ->
  Abstract_context_index.t Tezos_base.TzPervasives.tzresult Lwt.t

val check_context_consistency : 
  Abstract_context_index.t ->
  Tezos_crypto.Context_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Make sure that the given context is consistent by trying to read in it

val begin_construction : 
  timestamp:Tezos_base.TzPervasives.Time.Protocol.t ->
  ?protocol_data:Tezos_protocol_013_PtJakart.Protocol.block_header_data ->
  Abstract_context_index.t ->
  Baking_state.block_info ->
  Tezos_crypto.Chain_id.t ->
  incremental Tezos_base.TzPervasives.tzresult Lwt.t

val add_operation : 
  incremental ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Operation.packed ->
  (incremental * Tezos_protocol_013_PtJakart.Protocol.operation_receipt)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val finalize_construction : 
  incremental ->
  (Tezos_protocol_environment.validation_result
   * Tezos_protocol_013_PtJakart.Protocol.block_header_metadata)
    Tezos_base.TzPervasives.tzresult
    Lwt.t