Skip to main content

builtin_subsumptions_map

rapx::verify::contract::compound

Function builtin_subsumptions_map 

Source 
fn builtin_subsumptions_map() -> &'static HashMap<String, CompoundSpec>
Expand description

Cached builtin subsumption map (see subsumption_closure).