def AaText.of_string

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

import Base

48# the codes of a string's characters
49def AaText.of_string(s: String) -> List<&2, U32>:
50  match s:
51    case SNil{}:
52      Nil{}
53    case SCon{c, t}:
54      Con{Char.to_u32(c), AaText.of_string(t)}