pub fn print_type(name: &str, t: &Type)