def reverse

bend-collections-laws-math@1.0.0.0 · spec/lib/common.bend:140

import Base

140def reverse(-A: Data, xs: List<&2, A>) -> List<&2, A>:
141  match xs:
142    case Nil{}:
143      Nil{}
144    case Con{h, t}:
145      snoc(A, reverse(A, t), h)