def mul_small

import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Field

import Base

188# a * k for a constant k < 2^17
189def mul_small(a: List<&2, U32>, +k: U32) -> List<&2, U32>:
190  reduce(scal(k, a))

Uses (4)