law same1_pair

lawful-bytes@0.1.1.0 · LAWS.bend:324

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

324law same1_pair:
325  for b: D.Bytes
326  for i: U32
327  for j: U32
328  for n: U32
329  {B.same1(b, i, j, n) == (b, Pair.snd(D.Bytes, Bool, B.same1(b, i, j, n))) : D.Bytes & Bool}