def AaText.is

bend-osdev-apparmor@0.1.0.0 · text.bend:63

import Base

63# xs is exactly the string s
64def AaText.is(xs: List<&2, U32>, s: String) -> Bool:
65  match xs s:
66    case Nil{} SNil{}:
67      True{}
68    case Nil{} SCon{c, t}:
69      False{}
70    case Con{h, t} SNil{}:
71      False{}
72    case Con{h, t} SCon{c, u}:
73      Bool.and(U32.is_eq(h, Char.to_u32(c)), AaText.is(t, u))