mz_walkabout::ir

Function analyze_type

Source 
fn analyze_type(ty: &Type) -> Result<Type>