~/jendhub

def clamp_from

bend-collections@1.0.0.0 · spec/crypto/poly1305.bend:89

import bend-collections@1.0.0.0/spec/crypto/poly1305.bend as Poly1305
import Base

89def clamp_from(r: List<&2, U32>, +i: Nat) -> List<&2, U32>:
90  match r:
91    case Nil{}: Nil{}
92    case b <> rest: U32.and(b, clamp_mask(i)) <> clamp_from(rest, 1n+i)

Uses (5)

Used by (1)