def head

bend-collections-laws-math@1.0.0.0 · spec/math/random/chacha8rand.bend:180

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W

180def head(xs: List<&2, W.U64>) -> W.U64:
181  match xs:
182    case Nil{}:
183      W.U64{0, 0}
184    case Con{x, rest}:
185      x