def one.tail

emerging-ezaudio@0.4.0.0 · src/mp3.bend:341

import Base

341def one.tail(xs: List<&2, U32>) -> Bool:
342  match xs:
343    case Nil{}:
344      True{}
345    case _hd <> _tl:
346      False{}