dkc_get_type_name  565 compiler/diksamc.h char *dkc_get_type_name(TypeSpecifier *type);
dkc_get_type_name   58 compiler/fix_tree.c     tmp = dkc_get_type_name(src);
dkc_get_type_name   62 compiler/fix_tree.c     tmp = dkc_get_type_name(dest);