def text.marked

ezsys@0.1.0.0 · src/text.bend:180

import Base

180# whether an open delimiter starts anywhere in the text
181def text.marked(+open: String, tpl: String) -> Bool:
182  match tpl:
183    case SNil{}:
184      False{}
185    case SCon{+hd, +tl}:
186      text.any(String.starts_with(SCon{hd, tl}, open),
187        _u => text.marked(open, tl))