def wide_any

bolt@1.27.0.0 · src/lsp/enc.bend:131

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

131# does any line hold one? Stops at the first
132def wide_any(lines: List<&2, String>) -> Bool:
133  match lines:
134    case Nil{}:
135      False{}
136    case Con{l, t}:
137      Lazy.or_else(wide_in(String.to_list(l)), _u => wide_any(t))