Skip to main content

analyze_function

Function analyze_function 

Source
pub fn analyze_function(krate: &Crate, function: &ImplFn) -> FunctionContracts
Expand description

Analyze one already-resolved function.