def before

bolt@1.27.0.0 · src/syntax/bind.bend:991

import bolt@1.27.0.0/src/syntax/bind.bend as Bind

import Base

991# does (l1, c1) come before (l2, c2) in the source?
992def before(+l1: U32, +c1: U32, +l2: U32, +c2: U32) -> Bool:
993  Bool.or(U32.is_lt(l1, l2), Bool.and(U32.is_eq(l1, l2), U32.is_lt(c1, c2)))

Uses (6)

Used by (2)