def at2.fin2

lawful-bytes@0.1.1.0 · bytes.bend:194

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

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

194def at2.fin2(+x: U32, r: D.Bytes & U32) -> D.Bytes & (U32 & U32):
195  (b, +y) = r
196  (b, (x, y))

Uses (4)

Used by (2)