def at2.fin

lawful-bytes@0.1.1.0 · bytes.bend:198

import lawful-bytes@0.1.1.0/bytes.bend as Bytes

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

198def at2.fin(+j: U32, r: D.Bytes & U32) -> D.Bytes & (U32 & U32):
199  (b, +x) = r
200  at2.fin2(x, at(b, j))

Uses (6)

Used by (2)