Algo.bits64.word: def of bend-osdev-algo@0.1.0.0
Import: import bend-osdev-algo@0.1.0.0/algo.bend as Algo
Lines 166-167 of bend-osdev-algo@0.1.0.0/algo.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-algo@0.1.0.0/algo.bend&start_line=166&end_line=167

import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W

def bits64.word(+a: W.W64) -> Word(64n):
  W.W64.bits.cat(32n, 32n, bits32.word(W.W64.lo(a)), bits32.word(W.W64.hi(a)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-algo@0.1.0.0/algo.bend&name=bits32.word
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.1/word64.bend&name=W64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.1/word64.bend&name=W64.bits.cat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.1/word64.bend&name=W64.hi
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.1/word64.bend&name=W64.lo