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