def before

bendtorch-core@0.1.0.0 · src/tensor/signed.bend:290

import Base

290# Whether a position lies before -limit: Last{k}, the position -1 - k, with
291# k at or past limit. No First does.
292def before(+limit: U32, position: Position) -> Bool:
293  match position:
294    case First{k}:
295      False{}
296    case Last{k}:
297      Bool.not(U32.is_lt(k, limit))