let
print_ide (
Ide
(s)) =
"Ide("
^s^
")"