Function pat_to_string 

pub fn pat_to_string(ann: &dyn PpAnn, pat: &Pat<'_>) -> String