void print_type(const type_t *const type)
{
print_type_ext(type, NULL, NULL);
}
void print_type_ext(const type_t *const type, const symbol_t *symbol,
void print_type(const type_t *const type)
{
print_type_ext(type, NULL, NULL);
}
void print_type_ext(const type_t *const type, const symbol_t *symbol,