function_signature_text

rapx::verify::smt_check::alive

Function function_signature_text 

Source 
fn function_signature_text(tcx: TyCtxt<'_>, def_id: DefId) -> Option<String>
Expand description

Extracts a compact source-level function signature from the HIR span.