law unpack_append

lawful-bytes@0.1.1.0 · proof_seq.bend:144

import Base
import lawful-bytes@0.1.1.0/defs.bend as D

144law unpack_append:
145  for +xs: List<&2, U32>
146  for +ys: List<&2, U32>
147  {D.unpack(List.append(&2, U32, xs, ys)) == List.append(&2, U32, D.unpack(xs), D.unpack(ys)) : List<&2, U32>}