def subtract

bend-collections-laws-math@1.0.0.0 · spec/math/random/chacha8rand.bend:122

import Base

122# C2SP: for each block, subtract the constants from words 0..3 and the block
123# counter from word 12
124def subtract(+b: List<&2, U32>, +i: U32) -> List<&2, U32>:
125  sub_at(sub_at(sub_at(sub_at(sub_at(b, 0n, 1634760805), 1n, 857760878), 2n, 2036477234), 3n, 1797285236), 12n, i)