def same

lawful-bytes@0.1.1.0 · bytes.bend:128

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

128# Bytes i .. i+n-1 of a equal bytes j .. j+n-1 of b; both handed back.
129def same(a: D.Bytes, +i: U32, b: D.Bytes, +j: U32, +n: U32) -> D.Bytes & (D.Bytes & Bool):
130  same.go(U32.to_nat(n), at(a, i), at(b, j), i, j, True{})