def has_other

bend-toon-codec@0.1.0.0 · src/hdr.bend:44

import bend-toon-codec@0.1.0.0/src/hdr.bend as Hdr

import Base

44def has_other(+s: String, +d: U32) -> Bool:
45  match s:
46    case SNil{}:
47      False{}
48    case SCon{Chr{c}, t}:
49      other_delim(c, d) || has_other(t, d)

Uses (6)

Used by (1)

bend-toon-codec@0.1.0.0/src/hdr:name