Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type incremental = t
val predecessor : incremental -> Block.t
val rev_tickets :
incremental ->
Tezos_protocol_alpha.Protocol.operation_receipt list
val validation_state :
incremental ->
Tezos_protocol_alpha.Protocol.validation_state
val level : incremental -> int32
val begin_construction :
?priority:int ->
?timestamp:Tezos_base.Time.Protocol.t ->
?seed_nonce_hash:Tezos_protocol_alpha.Protocol.Nonce_hash.t ->
?policy:Block.baker_policy ->
Block.t ->
(incremental, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val add_operation :
?expect_apply_failure:
(Tezos_error_monad.TzCore.error list ->
(unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t) ->
?expect_failure:
(Tezos_error_monad.TzCore.error list ->
(unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t) ->
incremental ->
Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed ->
(incremental, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val finalize_block :
incremental ->
(Block.t, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val alpha_ctxt :
incremental ->
Tezos_protocol_alpha.Protocol.Alpha_context.context