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