def all1

bend-collections-laws-crypto@1.0.0.0 · proofs/math/random/uint64n.bend:254

import Base

254def all1(n: Nat) -> Word(n):
255  match n:
256    case 0n:
257      WNil{}
258    case 1n+p:
259      WCon{True{}, all1(p)}