Skip to main content

is_checked_nonzero_iff

rapx::verify::api_classify

Function is_checked_nonzero_iff 

Source 
pub fn is_checked_nonzero_iff(callee: Option<DefId>) -> bool