+void print_type(const type_t *type);
+
+/**
+ * prints a human readable form of @p type. prints an abstract typename
+ * if symbol is NULL
+ */
+void print_type_ext(const type_t *type, const symbol_t *symbol,
+ const context_t *context);
+
+/**
+ * set output stream for the type printer
+ */
+void type_set_output(FILE *out);
+
+/**
+ * returns true if type contains integer numbers
+ */
+bool is_type_integer(const type_t *type);
+