law find2_pair

lawful-bytes@0.1.1.0 · LAWS.bend:117

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

117# The result as a literal pair: the same Bytes and the value (for rewriting).
118law find2_pair:
119  for b: D.Bytes
120  for from: U32
121  for to: U32
122  for c1: U32
123  for c2: U32
124  {B.find2(b, from, to, c1, c2) == (b, Pair.snd(D.Bytes, U32, B.find2(b, from, to, c1, c2))) : D.Bytes & U32}