setsa

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

diff --git a/src/env.sig b/src/env.sig
index 31e6691..023813a 100644 (file)
--- a/src/env.sig
+++ b/src/env.sig
@@ -82,6 +82,9 @@ signature ENV = sig
 
     val containerV_one : string -> string * 'a arg -> (env_vars * 'a -> unit) * (unit -> unit) -> unit
 
+    val registerFunction : string * (Ast.exp list -> Ast.exp option) -> unit
+    val function : string -> (Ast.exp list -> Ast.exp option) option
+
     type env
     val empty : env