Skip to main content

sym_sub

foundry_evm_symbolic::runtime::expressions

Function sym_sub 

Source 
pub(crate) fn sym_sub(left: SymWord, right: SymWord) -> SymWord
Expand description

Implements the sym_sub symbolic expression helper.