def W64.from_u32

bend-osdev-word64@0.1.1.0 · word64.bend:26

import Base

26def W64.from_u32(a: U32) -> W64:
27  W64{0, a}