law to_list_pair

lawful-bytes@0.1.1.0 · LAWS.bend:303

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

303law to_list_pair:
304  for b: D.Bytes
305  for s: U32
306  for n: U32
307  {B.to_list(b, s, n) == (b, Pair.snd(D.Bytes, List<&2, U32>, B.to_list(b, s, n))) : D.Bytes & List<&2, U32>}