def aes.head

bend-osdev-cipher-modes@0.1.0.0 · aes.bend:172

import bend-osdev-cipher-modes@0.1.0.0/aes.bend as Aes
import Base

172def aes.head(xs: List<&2, U32>) -> U32:
173  match xs:
174    case Nil{}:
175      0
176    case Con{h, t}:
177      h

Uses (2)

Used by (1)