1 extern Void printExp Args((FILE *,Cell));
2 extern Void printType Args((FILE *,Cell));
3 extern Void printContext Args((FILE *,List));
4 extern Void printPred Args((FILE *,Cell));
5 extern Void printKind Args((FILE *,Kind));
6 extern Void printKinds Args((FILE *,Kinds));