let
print_bType (b: bType) =
match
b
with
Int
->
"Int"
|
Float
->
"Float"