def hs.len.be

bend-osdev-hashes@0.1.0.0 · hashes.bend:177

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

177def hs.len.be(v: W.W64) -> List<&2, U32>:
178  B.be64(v)