Tezos_alpha_test_helpers.Scenario_activity
val tolerated_inactivity_period :
block:Block.block ->
state:State.t ->
State_account.account_state ->
(int, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t
val is_inactive :
block:Block.block ->
state:State.t ->
Tezos_alpha_test_helpers.State_account.Cycle.t ->
State_account.account_state ->
(bool, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t
val update_activity_account :
block:Block.block ->
state:State.t ->
Tezos_alpha_test_helpers.State_account.Cycle.cycle ->
string ->
(State_account.account_state, Tezos_base.TzPervasives.tztrace) Stdlib.result
Lwt.t
val update_activity :
block:Block.block ->
state:State.t ->
Tezos_alpha_test_helpers.State_account.Cycle.cycle ->
Tezos_base.TzPervasives.String.Map.key ->
State.t Tezos_base.TzPervasives.tzresult Lwt.t