String module

contains_nocase

procedure · 1 overloadSource

Like contains, with ASCII letters matched in either case.

contains_nocase :: (
    s: string,
    substring: string
) -> (found: bool, remainder: string)

Parameters

s: string
substring: string

Returns

found: bool
remainder: string
ExampleOpen in playground ↗
found, rest := contains_nocase("abcDEFghi", "def");
assert(found && rest == "ghi");

See also