X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/dac62e84b324d2187ec9b9882efa47125d5599a4..1933c5961c1a98198f7b98f33085e61090346885:/src/tycheck.sig

diff --git a/src/tycheck.sig b/src/tycheck.sig
index 6ef31a5..52630b8 100644
--- a/src/tycheck.sig
+++ b/src/tycheck.sig
@@ -1,5 +1,6 @@
 (* HCoop Domtool (http://hcoop.sourceforge.net/)
  * Copyright (c) 2006, Adam Chlipala
+ * Copyright (c) 2014 Clinton Ebadi <clinton@unknownlamer.org>
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License
@@ -28,9 +29,14 @@ signature TYCHECK = sig
 
     val checkDecl : Env.env -> Ast.decl -> Env.env
 
-    val checkFile : Env.env -> Ast.typ -> Ast.file -> Env.env
+    val checkFile : Env.env -> 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
+
 end