def cr.kb.tail

bend-osdev-crypto@0.1.0.0 · kbkdf.bend:36

import Base

36def cr.kb.tail(xs: List<&2, U32>) -> List<&2, U32>:
37  match xs:
38    case Con{h, t}:
39      t
40    case Nil{}:
41      Nil{}