def deeper

bolt@1.27.0.0 · src/syntax/tree.bend:344

import Base

344# the statements a line at column col ends: those not shallower than it
345def deeper(stack: List<&2, Frame>, +col: U32) -> Nat:
346  match stack:
347    case Con{FStmt{+indent, kids, body}, rest}:
348      +below = deeper(rest, col)
349      Bool.pick(Nat, U32.is_ge(indent, col), Succ{below}, 0n)
350    case other:
351      0n