def ad.ae.head

bend-osdev-aead@0.1.0.0 · aegis128.bend:100

import Base

100def ad.ae.head(xs: List<&2, U32>) -> U32:
101  match xs:
102    case Nil{}:
103      0
104    case Con{h, t}:
105      h