def Int.ones
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
58def Int.ones(+n: Nat) -> Word(n):
59 Word.not(n, Word.zero(n))
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
58def Int.ones(+n: Nat) -> Word(n):
59 Word.not(n, Word.zero(n))