Function ty_to_string 

pub fn ty_to_string(ann: &dyn PpAnn, ty: &Ty<'_>) -> String