get_std_contracts_from_assets

rapx::verify::assets_parser

Function get_std_contracts_from_assets 

Source 
pub fn get_std_contracts_from_assets(
    tcx: TyCtxt<'_>,
    def_id: DefId,
) -> &'static [PropertyEntry]
Expand description

Looks up backup contracts for a standard-library function by its normalized path.