Tezos_024_PtTALLiN_test_helpers.Scenario_activityval update_activity :
string ->
State.t ->
Tezos_024_PtTALLiN_test_helpers.State_account.Cycle.cycle ->
State.tval check_is_active :
loc:string ->
string ->
(Block.t * State.t, Block.t * State.t) Scenario_dsl.scenariosval check_is_not_active :
loc:string ->
string ->
(Block.t * State.t, Block.t * State.t) Scenario_dsl.scenarios