def cr.kb.head

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

import Base

29def cr.kb.head(xs: List<&2, U32>) -> U32:
30  match xs:
31    case Con{h, t}:
32      h
33    case Nil{}:
34      0