def ad.ae.tail

bend-osdev-aead@0.1.0.0 · aegis128.bend:93

import Base

93def ad.ae.tail(xs: List<&2, U32>) -> List<&2, U32>:
94  match xs:
95    case Nil{}:
96      Nil{}
97    case Con{h, t}:
98      t