def write.put

bend-kit-bits@0.1.0.1 · bits.bend:148

import bend-kit-bits@0.1.0.1/bits.bend as Bits

import Base

148def write.put(+k: U32, x: U32 & U32, a: Array<U32>) -> Array<U32>:
149  (+x0, +x1) = x
150  or.if(U32.is_ne(x1, 0), or.if(U32.is_ne(x0, 0), a, k, x0), (k + 1 : U32), x1)

Uses (7)

Used by (1)

bend-kit-bits@0.1.0.1/bits:write.at