def lead2

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

import Base

22# Are the first two characters `a` then `b`?
23def lead2(+s: String, +a: U32, +b: U32) -> Bool:
24  lead(s, a) && lead(drop(s), b)