def snoc

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

import Base

90def snoc(-A: Data, xs: List<&2, A>, x: A) -> List<&2, A>:
91  match xs:
92    case Nil{}:
93      Con{x, Nil{}}
94    case Con{h, t}:
95      Con{h, snoc(A, t, x)}