def head

bend-collections-laws-crypto@1.0.0.0 · spec/lib/common.bend:119

import Base

119def head(-A: Data, xs: List<&2, A>) -> Maybe<&2, A>:
120  match xs:
121    case Nil{}:
122      None{}
123    case Con{h, t}:
124      Some{h}