Add dnsWildcardIP

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

diff --git a/src/env.sig b/src/env.sig
index 31e6691..0a50620 100644 (file)
--- a/src/env.sig
+++ b/src/env.sig
@@ -59,6 +59,7 @@ signature ENV = sig
                -> string * 'a arg * string * 'b arg * string * 'c arg
                -> ('a * 'b * 'c -> unit) -> action
 
+    val noneV : string -> (env_vars -> unit) -> action
     val oneV : string -> string * 'a arg -> (env_vars * 'a -> unit) -> action
     val twoV : string -> string * 'a arg * string * 'b arg -> (env_vars * 'a * 'b -> unit) -> action
 
@@ -80,8 +81,12 @@ signature ENV = sig
     val container_none : string -> (unit -> unit) * (unit -> unit) -> unit
     val container_one : string -> string * 'a arg -> ('a -> unit) * (unit -> unit) -> unit
 
+    val containerV_none : string -> (env_vars -> unit) * (unit -> unit) -> unit
     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