aboutsummaryrefslogtreecommitdiff
path: root/src/expressions
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2019-08-30 20:25:18 +0200
committerSébastien Dailly <sebastien@chimrod.com>2019-08-30 20:25:18 +0200
commitbd19e0f8d0616526fec25031124b3a33bbe3c8a3 (patch)
tree2fd460930f56028a8d4ef322b3b886c44e45dba2 /src/expressions
parent05b3868f44c125b4ca7fcdb3d9dd7d92954d8178 (diff)
Update
Diffstat (limited to 'src/expressions')
-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