1 extern Type typeCheckExp Args((Bool));
2 extern Void typeCheckDefns Args((Void));
3 extern Cell provePred Args((Kinds,List,Cell));
4 extern List simpleContext Args((List,Int));
5 extern Cell rhsExpr Args((Cell));
6 extern Int rhsLine Args((Cell));
7 extern List offsetTyvarsIn Args((Type,List));
8 extern Type primType Args((Int/*AsmMonad*/,String,String));
9 extern Type conToTagType Args((Tycon));
10 extern Type tagToConType Args((Tycon));
11 extern Void mkTypes Args((Void));