def list.empty

emerging-ezaudio@0.4.0.0 · main.bend:187

import Base

187def list.empty(xs: List<&2, U32>) -> Bool:
188  match xs:
189    case Nil{}:
190      True{}
191    case _hd <> _tl:
192      False{}