def tail

lawful-arrays@0.1.0.0 · proof_base.bend:441

import Base

441def tail(-A: Data, xs: List<&2, A>) -> List<&2, A>:
442  match xs:
443    case Nil{}:
444      Nil{}
445    case h <> t:
446      t