def cr.vm.bytes64

bend-osdev-crypto@0.1.0.0 · vmac.bend:118

import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmac
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-word64@0.1.0.0/word64.bend as W

118def cr.vm.bytes64(+w: W.W64) -> List<&2, U32>:
119  B.append(B.be32(W.W64.hi(w)), B.be32(W.W64.lo(w)))

Uses (7)

Used by (1)