let print_dec (Dec(id,gt): dec) = "Dec(" ^ (print_ide id) ^ "," ^ (print_gType gt) ^ ")\n"