package tezos-protocol-013-PtJakart

last_cycle_before_deactivation ctxt delegate is the cycle at which the delegate is scheduled to become inactive.

set_inactive context delegate adds delegate to the set of inactive * contracts.

set_active ctxt delegate returns a pair (new_ctxt, is_inactive) where:

• new_ctxt is a new context, updated from ctxt, where the delegate's last active cycle has been updated
• is_inactive represents the state of delegate, prior to the update.