package tezos-protocol-012-Psithaca

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val init : 
  Raw_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) ->
  ?no_reward_cycles:int ->
  Parameters_repr.bootstrap_account list ->
  Parameters_repr.bootstrap_contract list ->
  (Raw_context.t * Receipt_repr.balance_updates)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val cycle_end : 
  Raw_context.t ->
  Cycle_repr.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t