def rr.group

import cswap-bend-cli@0.1.0.0/policy/safe.bend as Safe

import Base

73def rr.group(+slot: Nat, +active: Nat) -> Nat:
74  rr.group.at(Nat.is_gt(slot, active))

Uses (3)