def U32.mod
import Base1642def U32.mod(a: U32, b: U32) -> U32:
1643 U32{aw} = a
1644 U32{+bw} = b
1645 U32.mod.if(aw, U32{bw}, U32.is_zero(U32{bw}))
Uses (3)
Used by (399)
- bend-collections-laws-math@1.0.0.0/src/math/instances:u32_op
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:aes_expand.go
- qasim-bend-kit@0.1.0.2/proof/AES_TraceProof:next_word
- qasim-bend-kit@0.1.0.2/proof/AES_TraceProof:expand_step_number_at
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field:carry
- …