def Int.ones

bend-kit-int@0.2.0.0 · int.bend:58

import bend-kit-int@0.2.0.0/int.bend as Int
import Base

58def Int.ones(+n: Nat) -> Word(n):
59  Word.not(n, Word.zero(n))

Uses (4)

Used by (2)