def put64.if
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
269# Writes words x then y at byte i, both in the same byte order.
270def put64.if(ok: Bool, +len: U32, buf: Array<U32>, +i: U32, +be: Bool, +x: U32, +y: U32) -> Bytes:
271 match ok:
272 case True{}:
273 put(put(Bytes{len, buf}, i, 4, be, x), (i + 4 : U32), 4, be, y)
274 case False{}:
275 Bytes{len, buf}