Adaptive_issuance_helpers (octez-protocol-alpha-libs.Tezos_alpha_test_helpers.Adaptive_issuance

type staking_parameters = {

limit_of_staking_over_baking : Q.t;
edge_of_baking_over_staking : Q.t;

}

Abstraction of the staking parameters for tests

val default_params : staking_parameters

val get_launch_cycle : 
  loc:string ->
  Block.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Cycle.t,
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

AI operations

val stake : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val set_delegate_parameters : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  parameters:staking_parameters ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val unstake : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val finalize_unstake : 
  Context.t ->
  ?amount:Tez_helpers.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val portion_of_rewards_to_liquid_for_cycle : 
  Tezos_alpha_test_helpers__Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Cycle.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  Tez_helpers.t ->
  (Tez_helpers.t, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t