bend-osdev-word64@0.1.1.0 · word64.bend:18
import bend-osdev-word64@0.1.1.0/word64.bend as Word64
import Base 18def W64.one() -> W64: 19 W64{0, 1}