terminator_definition_reason

rapx::verify::slicer::visitor

Function terminator_definition_reason 

Source 
fn terminator_definition_reason(terminator: &Terminator<'_>) -> KeepReason