def List.is_empty

Base · base.bend:957

957def List.is_empty(a, -A: Kind(a), xs: List<a, A>) -> Bool:
958  match xs:
959    case Nil{}:
960      True{}
961    case h <> t:
962      False{}