def string.contains

gralha-text-scan@0.1.0.1 · scan.bend:268

import gralha-text-scan@0.1.0.1/scan.bend as Scan

import Base

268def string.contains(+s: String, +part: String) -> Bool:
269  match s:
270    case SNil{}: string.equal(part, "")
271    case SCon{c, rest}: prefix(s, part) || string.contains(rest, part)

Uses (5)

Used by (3)