+ val checkDecl : Env.env -> Ast.decl -> Env.env
+
+ val checkFile : Env.env -> Ast.typ -> Ast.file -> Env.env
+
+ val resetUnif : unit -> unit
+ val newUnif : unit -> Ast.typ'
+
+ val preface : string * Print.PD.pp_desc -> unit
+
+ val allowExterns : unit -> unit
+ val disallowExterns : unit -> unit
+