def W64.two32
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
75# 2^32, built from literals Bend reads (a literal is at most 2^32 - 1)
76def W64.two32() -> Nat:
77 Nat.add(4294967295n, 1n)
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
75# 2^32, built from literals Bend reads (a literal is at most 2^32 - 1)
76def W64.two32() -> Nat:
77 Nat.add(4294967295n, 1n)