def tail

bend-collections-laws-math@1.0.0.0 · spec/lib/common.bend:126

import Base

126def tail(-A: Data, xs: List<&2, A>) -> List<&2, A>:
127  match xs:
128    case Nil{}:
129      Nil{}
130    case Con{h, t}:
131      t