Add primitive action handlers

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

diff --git a/src/main.sig b/src/main.sig
index a7c3b2d..f36fb65 100644 (file)
--- a/src/main.sig
+++ b/src/main.sig
@@ -23,5 +23,7 @@ signature MAIN = sig
     val tInit : Ast.typ
 
     val check : string -> unit
+    val reduce : string -> unit
+    val eval : string -> unit
 
 end