law fast_find2_pair

lawful-bytes@0.1.1.0 · LAWS.bend:452

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

452law fast_find2_pair:
453  for b: D.Bytes
454  for from: U32
455  for to: U32
456  for c1: U32
457  for c2: U32
458  {FA.find2(b, from, to, c1, c2) == (b, Pair.snd(D.Bytes, U32, FA.find2(b, from, to, c1, c2))) : D.Bytes & U32}