def lead

bend-toon-codec@0.1.0.0 · src/head.bend:6

import Base

6# Is the first character the code point `c`?
7def lead(+s: String, +c: U32) -> Bool:
8  match s:
9    case SNil{}:
10      False{}
11    case SCon{Chr{x}, t}:
12      U32.is_eq(x, c)