def word_of

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/ecdsa.bend:303

import Base

303def word_of(m: Maybe<&2, List<&2, U32>>) -> Maybe<&2, List<&2, U32>>:
304  match m:
305    case None{}: None{}
306    case Some{a}: Some{cat(fill(12n, 0), a)}