X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/dac62e84b324d2187ec9b9882efa47125d5599a4..90dd48df1de3ea116fe2f2c0ec0fe36c71e17e5c:/src/eval.sig?ds=inline diff --git a/src/eval.sig b/src/eval.sig index e9cd6aa..3d05210 100644 --- a/src/eval.sig +++ b/src/eval.sig @@ -21,5 +21,6 @@ signature EVAL = sig val exec : Env.env_vars -> Ast.exp -> unit + val exec' : Env.env_vars -> Ast.exp -> Env.env_vars end