def tail_nats

cli@0.2.0.0 · cli.bend:5682

import Base

5682def tail_nats(xs: List<&2, Nat>) -> List<&2, Nat>:
5683  match xs:
5684    case Nil{}: Nil{}
5685    case head <> tail: tail