def rev

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/random/bytes.bend as Bytes

import Base

18def rev(xs: List<&2, U32>) -> List<&2, U32>:
19  List.reverse(&2, U32, xs)

Uses (3)