def one_word
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/word.bend as Wordimport Base
234def one_word(+p: Nat) -> Word(1n+p):
235 WCon{True{}, Word.zero(p)}
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/word.bend as Wordimport Base
234def one_word(+p: Nat) -> Word(1n+p):
235 WCon{True{}, Word.zero(p)}