Mavryk_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 :
Mavryk_protocol_environment_alpha.Chain_id.t ->
Mavryk_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)
Mavryk_protocol_environment_alpha.Error_monad.tzresult
Mavryk_protocol_environment_alpha.Lwt.t) ->
typecheck_smart_rollup:
(Raw_context.t ->
Script_repr.expr ->
Raw_context.t Mavryk_protocol_environment_alpha.Error_monad.tzresult) ->
level:int32 ->
timestamp:Mavryk_protocol_environment_alpha.Time.t ->
predecessor:Mavryk_protocol_environment_alpha.Block_hash.t ->
(Raw_context.t,
Mavryk_protocol_environment_alpha.Error_monad.error
Mavryk_protocol_environment_alpha.Error_monad.trace)
Mavryk_protocol_environment_alpha.Pervasives.result
Mavryk_protocol_environment_alpha.Lwt.tval prepare :
Mavryk_protocol_environment_alpha.Context.t ->
level:Mavryk_protocol_environment_alpha.Int32.t ->
predecessor_timestamp:Mavryk_protocol_environment_alpha.Time.t ->
timestamp:Mavryk_protocol_environment_alpha.Time.t ->
(Raw_context.t
* Receipt_repr.balance_updates
* Migration_repr.origination_result list)
Mavryk_protocol_environment_alpha.Error_monad.tzresult
Mavryk_protocol_environment_alpha.Lwt.t