def constant

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/aes/poly.bend:51

import Base

51# The constant polynomial c as a residue.
52def constant(n: Nat, c: Bool) -> Word(n):
53  match n:
54    case 0n:
55      WNil{}
56    case 1n+p:
57      WCon{c, Word.zero(p)}