package tezos-protocol-012-Psithaca

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Functions 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_012_Psithaca.Context.t ->
  typecheck:
    (Raw_context.t ->
      Script_repr.t ->
      ((Script_repr.t * Lazy_storage_diff.diffs option) * Raw_context.t)
        Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
        Tezos_protocol_environment_012_Psithaca.Lwt.t) ->
  level:int32 ->
  timestamp:Tezos_protocol_environment_012_Psithaca.Time.t ->
  (Raw_context.t,
    Tezos_protocol_environment_012_Psithaca.Error_monad.error
      Tezos_protocol_environment_012_Psithaca.Error_monad.trace)
    Tezos_protocol_environment_012_Psithaca.Pervasives.result
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val prepare : 
  Tezos_protocol_environment_012_Psithaca.Context.t ->
  level:Tezos_protocol_environment_012_Psithaca.Int32.t ->
  predecessor_timestamp:Tezos_protocol_environment_012_Psithaca.Time.t ->
  timestamp:Tezos_protocol_environment_012_Psithaca.Time.t ->
  (Raw_context.t
   * Receipt_repr.balance_updates
   * Migration_repr.origination_result list)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t