def roll

yaml-for-bend@0.1.1.0 · scan.bend:609

import Base
import yaml-for-bend@0.1.1.0/token.bend as T

609# A block collection starts at +col+ when that's deeper than the indentation.
610def roll(+st: Sc, +col: Nat, number: Maybe<&2, Nat>, tok: T.Tok, at: T.Mark) -> Sc:
611  when(Sc, Bool.and(Nat.is_eq(sc.flow(st), 0n), Nat.is_lt(sc.ind(st), 1n+col)), u => roll.do(st, col, number, tok, at), u => st)