Skip to main content

context_key

rapx::verify::call_summary::interprocedural

Function context_key 

Source 
fn context_key(context: &CallContext) -> Vec<(usize, i128)>
Expand description

Canonical, sortable representation of a CallContext’s concrete arguments, used as part of the memo key (FxHashMap is not Hash).