Tezos_raw_protocol_alpha.Init_storageFunctions to setup storage. Used by Alpha_context.prepare.
If you have defined a new type of storage, you should add relevant setups here.
val prepare_first_block :
Tezos_protocol_environment_alpha.Chain_id.t ->
Tezos_protocol_environment_alpha.Context.t ->
typecheck_smart_contract:
(Raw_context.t ->
Script_repr.t ->
((Script_repr.t * Lazy_storage_diff.diffs option) * Raw_context.t)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.t) ->
typecheck_smart_rollup:
(Raw_context.t ->
Script_repr.expr ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult) ->
level:int32 ->
timestamp:Tezos_protocol_environment_alpha.Time.t ->
predecessor:Tezos_protocol_environment_alpha.Block_hash.t ->
(Raw_context.t,
Tezos_protocol_environment_alpha.Error_monad.error
Tezos_protocol_environment_alpha.Error_monad.trace)
Tezos_protocol_environment_alpha.Pervasives.result
Tezos_protocol_environment_alpha.Lwt.tval prepare :
Tezos_protocol_environment_alpha.Context.t ->
level:Tezos_protocol_environment_alpha.Int32.t ->
predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
timestamp:Tezos_protocol_environment_alpha.Time.t ->
(Raw_context.t
* Receipt_repr.balance_updates
* Migration_repr.origination_result list)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.t