Skip to main content

builtin_compounds

rapx::verify::contract::compound

Function builtin_compounds 

Source 
fn builtin_compounds() -> HashMap<String, CompoundSpec>
Expand description

Builtin compounds shipped with rapx: the standard compound safety properties (std-compound-properties.rs) plus user extensions (user-compound-properties.rs).