get_std_contracts
rapx
0.6.2
In rapx::
analysis::
utils::
fn_
info
rapx
::
analysis
::
utils
::
fn_info
Function
get_
std_
contracts
Copy item path
Source
pub fn get_std_contracts(tcx: TyCtxt<'_>, def_id: DefId) ->
Vec
<
ContractEntry
>