let print_param (Par(id, bt): param) = "Par(" ^ (print_ide id) ^ "," ^ (print_bType bt) ^ ")\n"