law find_pair

lawful-bytes@0.1.1.0 · LAWS.bend:95

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

95# The result as a literal pair: the same Bytes and the value (for rewriting).
96law find_pair:
97  for b: D.Bytes
98  for from: U32
99  for to: U32
100  for c: U32
101  {B.find(b, from, to, c) == (b, Pair.snd(D.Bytes, U32, B.find(b, from, to, c))) : D.Bytes & U32}