def W64.from_parts
import bend-osdev-word64@0.1.1.1/word64.bend as Word64import Base
71# the word whose high and low 32 bits are hi and lo
72def W64.from_parts(hi: U32, lo: U32) -> W64:
73 W64{hi, lo}
import bend-osdev-word64@0.1.1.1/word64.bend as Word64import Base
71# the word whose high and low 32 bits are hi and lo
72def W64.from_parts(hi: U32, lo: U32) -> W64:
73 W64{hi, lo}