~/jendhub

def before

bolt@1.27.0.0 · src/rules/pedantic/rewalk.bend:536

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

536# (l1, c1) comes before (l2, c2)
537def before(+l1: U32, +c1: U32, +l2: U32, +c2: U32) -> Bool:
538  Bool.or(U32.is_lt(l1, l2), Bool.and(U32.is_eq(l1, l2), U32.is_lt(c1, c2)))

Uses (6)

Used by (1)