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