package tezos-protocol-001-PtCJ7pwo

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 ->
      Raw_context.t
        Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
        Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t) ->
  ?ramp_up_cycles:int ->
  ?no_reward_cycles:int ->
  Parameters_repr.bootstrap_account list ->
  Parameters_repr.bootstrap_contract list ->
  Raw_context.t Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult
    Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t

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