def all_blank

bend-toon-codec@0.1.0.0 · src/decode.bend:54

import Base
import bend-toon-codec@0.1.0.0/src/dline.bend as D

54def all_blank(+ls: List<&2, D.DL>) -> Bool:
55  match ls:
56    case Nil{}:
57      True{}
58    case Con{D.DL{no, depth, text, blank}, t}:
59      blank && all_blank(t)