Custom base types

[hcoop/domtool2.git] / src / env.sig

diff --git a/src/env.sig b/src/env.sig
index cc68b53..795129a 100644 (file)
--- a/src/env.sig
+++ b/src/env.sig
@@ -20,6 +20,9 @@
 
 signature ENV = sig
 
+    val registerType : string * (Ast.exp -> bool) -> unit
+    val typeRule : string -> (Ast.exp -> bool) option
+
     type env
     val empty : env