tezos-012-Psithaca-test-helpers 12.3

type t =

| B of Block.t
| I of Incremental.t

val branch : t -> Tezos_protocol_012_Psithaca.Protocol.Environment.Block_hash.t

val get_level : 
  t ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Raw_level.t,
    Tezos_error_monad.TzCore.error list)
    result

val get_endorsers : 
  t ->
  (Tezos_protocol_plugin_012_Psithaca.Plugin.RPC.Validators.t list,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_endorser : 
  t ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.public_key_hash
   * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Slot.t list,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_endorser_n : 
  t ->
  int ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.public_key_hash
   * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Slot.t list,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_endorsing_power_for_delegate : 
  t ->
  ?levels:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Raw_level.t list ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.public_key_hash ->
  (int, Tezos_error_monad.TzCore.error list) result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_voting_power : 
  t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.public_key_hash ->
  int32
    Tezos_protocol_012_Psithaca.Protocol.Environment.Error_monad.shell_tzresult
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_total_voting_power : 
  t ->
  int32
    Tezos_protocol_012_Psithaca.Protocol.Environment.Error_monad.shell_tzresult
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_bakers : 
  ?filter:
    (Tezos_protocol_plugin_012_Psithaca.Plugin.RPC.Baking_rights.t -> bool) ->
  t ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.public_key_hash list,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_baker : 
  t ->
  round:int ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.public_key_hash,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_seed_nonce_hash : 
  t ->
  (Tezos_protocol_012_Psithaca.Protocol.Nonce_hash.t,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_seed : 
  t ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Seed.seed,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

Returns the seed of the cycle to which the block belongs to.

val get_constants : 
  t ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Constants.t,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

Returns all the constants of the protocol

val get_baking_reward_fixed_portion : 
  t ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_bonus_reward : 
  t ->
  endorsing_power:int ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_endorsing_reward : 
  t ->
  expected_endorsing_power:int ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_liquidity_baking_subsidy : 
  t ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

val get_liquidity_baking_cpmm_address : 
  t ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

module Vote : sig ... end

module Contract : sig ... end

module Delegate : sig ... end

val init : 
  ?rng_state:Random.State.t ->
  ?commitments:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Commitment.t list ->
  ?initial_balances:int64 list ->
  ?consensus_threshold:int ->
  ?min_proposal_quorum:int32 ->
  ?bootstrap_contracts:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Parameters.bootstrap_contract
      list ->
  ?level:int32 ->
  ?cost_per_byte:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  ?liquidity_baking_subsidy:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  ?endorsing_reward_per_slot:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  ?baking_reward_bonus_per_slot:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  ?baking_reward_fixed_portion:
    Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  ?origination_size:int ->
  ?blocks_per_cycle:int32 ->
  int ->
  (Block.t * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t list,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

init n : returns an initial block with n initialized accounts and the associated implicit contracts

val init_with_constants : 
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Constants.parametric ->
  int ->
  (Block.t * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t list,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

package tezos-012-Psithaca-test-helpers