fn builtin_defs_map() -> &'static HashMap<String, DefSpec>Expand description
Builtin defs shipped with rapx: the standard compound safety properties
(std-contracts.rs) plus user extensions (user-contracts.rs). Immutable
and shared across every crate.