package tezos-baking-012-Psithaca

  1. Overview
  2. Docs
type incremental = {
  1. predecessor : Baking_state.block_info;
  2. context : Tezos_protocol_environment.Context.t;
  3. state : Tezos_protocol_012_Psithaca.Protocol.validation_state;
  4. rev_operations : Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Operation.packed list;
  5. header : Tezos_base.Block_header.shell_header;
}
val load_context : context_path:string -> Abstract_context_index.t 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_012_Psithaca.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_012_Psithaca.Protocol.Alpha_context.Operation.packed -> (incremental * Tezos_protocol_012_Psithaca.Protocol.operation_receipt) Tezos_base.TzPervasives.tzresult Lwt.t
val finalize_construction : incremental -> (Tezos_protocol_environment.validation_result * Tezos_protocol_012_Psithaca.Protocol.block_header_metadata) Tezos_base.TzPervasives.tzresult Lwt.t