def head
import bend-kit-collections@0.1.4.1/PROOF.bend as PROOFimport Base
133def head(-K: Data, xs: List<&2, K>) -> Maybe<&2, K>:
134 match xs:
135 case Nil{}:
136 None{}
137 case Con{h, t}:
138 Some{h}
import bend-kit-collections@0.1.4.1/PROOF.bend as PROOFimport Base
133def head(-K: Data, xs: List<&2, K>) -> Maybe<&2, K>:
134 match xs:
135 case Nil{}:
136 None{}
137 case Con{h, t}:
138 Some{h}