def find.k

lawful-bytes@0.1.1.0 · fast.bend:73

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

73def find.k(+len: U32, r: Array<U32> & U32) -> D.Bytes & U32:
74  (buf, +j) = r
75  (D.Bytes{len, buf}, j)