def clamp

bend-collections-laws-crypto@1.0.0.0 · src/crypto/curve25519/x25519.bend:56

import Base

56def clamp(bs: List<&2, U32>) -> List<&2, U32>:
57  match bs:
58    case Nil{}:
59      Nil{}
60    case Con{b, bt}:
61      clamp_top(Con{U32.and(b, 248), bt})