fn get_std_contracts_from_json() -> &'static HashMap<String, Vec<PropertyEntry>>Expand description
Lazily loads the backup contract database for standard-library APIs.
fn get_std_contracts_from_json() -> &'static HashMap<String, Vec<PropertyEntry>>Lazily loads the backup contract database for standard-library APIs.