Skip to main content

collect_order_facts

foundry_evm_symbolic::runtime::solver::monotonic_product

Function collect_order_facts 

Source 
fn collect_order_facts<'a>(expr: &'a SymBoolExpr, facts: &mut OrderFacts<'a>)