Skip to main content
u512_mod_to_u256
foundry_
evm_
symbolic
1.7.2
In foundry_
evm_
symbolic::
executor::
opcodes
foundry_evm_symbolic
::
executor
::
opcodes
Function
u512_
mod_
to_
u256
Copy item path
Source
fn u512_mod_to_u256(value: U512, modulus: U256) -> U256