def one.only

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

import Base

348def one.only(xs: List<&2, U32>) -> Bool:
349  match xs:
350    case _hd <> tl:
351      one.tail(tl)
352    case Nil{}:
353      False{}