Skip to main content

collect_compound_refs

rapx::verify::contract::compound

Function collect_compound_refs 

Source 
fn collect_compound_refs(body: &CompoundBody, out: &mut Vec<String>)