Skip to main content

load_trait_ensures_json

rapx::verify::contract::json

Function load_trait_ensures_json 

Source 
fn load_trait_ensures_json() -> &'static HashMap<String, Vec<JsonProperty>>
Expand description

Lazily loads the std auto-trait ensures obligation database.