Skip to main content

compound_refs

rapx::verify::contract::compound

Function compound_refs 

Source 
fn compound_refs(body: &CompoundBody) -> Vec<String>
Expand description

Collect the tag names referenced by a CompoundBody, in left-to-right order.