~/jendhub

def line.rest

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

import yaml-for-bend@0.1.1.0/scan.bend as Scan
import Base

1324# Past the rest of a line.
1325def line.rest(s: String) -> Nat:
1326  match s:
1327    case SNil{}:
1328      0n
1329    case SCon{+c, t}:
1330      count.or(Bool.not(is_break(c)), u => 1n+line.rest(t))

Uses (5)

Used by (1)