def slot_at

import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk

import Base

239# the argument index a slot reads
240def slot_at(ss: Slot) -> Nat:
241  Slot{on, at} = ss
242  at

Uses (2)