def find

lawful-bytes@0.1.1.0 · bytes.bend:92

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

92# The first index j with from <= j < to where byte j is c; to if none.
93def find(b: D.Bytes, +from: U32, +to: U32, +c: U32) -> D.Bytes & U32:
94  find.start(Nat.sub(U32.to_nat(to), U32.to_nat(from)), at(b, from), from, to, c)