def sc.max
import yaml-for-bend@0.1.1.0/scan.bend as Scanimport Base
347def sc.max(st: Sc) -> Nat:
348 match st:
349 case Sc{cur, ind, inds, flow, allowed, tab, keys, out, n, max}:
350 max
import yaml-for-bend@0.1.1.0/scan.bend as Scanimport Base
347def sc.max(st: Sc) -> Nat:
348 match st:
349 case Sc{cur, ind, inds, flow, allowed, tab, keys, out, n, max}:
350 max