def capacity.fin

lawful-bytes@0.1.1.0 · bytes.bend:137

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

137def capacity.fin(+n: U32, r: Array<U32> & U32) -> D.Bytes & U32:
138  (buf, +w) = r
139  (D.Bytes{n, buf}, (w << 2n : U32))