law rev_rev

bend-osdev-bytes@0.1.1.0 · LAWS.bend:212

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

212law rev_rev:
213  for xs: List<&2, U32>
214  {B.rev(B.rev(xs)) == xs : List<&2, U32>}