def cr.tail

bend-osdev-crypto@0.1.0.0 · modes.bend:259

import bend-osdev-crypto@0.1.0.0/modes.bend as Modes
import Base

259def cr.tail(xs: List<&2, U32>) -> List<&2, U32>:
260  match xs:
261    case Nil{}:
262      Nil{}
263    case Con{h, t}:
264      t

Uses (2)

Used by (1)