aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/expressions/evaluate.mli27
1 files changed, 27 insertions, 0 deletions
diff --git a/src/expressions/evaluate.mli b/src/expressions/evaluate.mli
new file mode 100644
index 0000000..7192b8b
--- /dev/null
+++ b/src/expressions/evaluate.mli
@@ -0,0 +1,27 @@
+module T:Sym_type.SYM_TYPE
+
+module R:Sym_ref.SYM_REF
+
+type t
+
+type dic = (Functions.C.t * (int * int -> ScTypes.Result.t option))
+
+type obs = dic -> ScTypes.Result.t
+
+val value : 'a T.t -> t
+
+val ref : 'a R.t -> t
+
+val call0 : UTF8.t -> t
+
+val call1 : UTF8.t -> t -> t
+
+val call2 : UTF8.t -> t -> t -> t
+
+val call3 : UTF8.t -> t -> t -> t -> t
+
+val callN: UTF8.t -> t list -> t
+
+val expression : t -> t
+
+val observe : t -> obs