def AaText.is_nil
import bend-osdev-apparmor@0.1.0.0/text.bend as Textimport Base
6def AaText.is_nil(xs: List<&2, U32>) -> Bool:
7 match xs:
8 case Nil{}:
9 True{}
10 case Con{h, t}:
11 False{}
import bend-osdev-apparmor@0.1.0.0/text.bend as Textimport Base
6def AaText.is_nil(xs: List<&2, U32>) -> Bool:
7 match xs:
8 case Nil{}:
9 True{}
10 case Con{h, t}:
11 False{}