diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2019-08-30 20:25:18 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2019-08-30 20:25:18 +0200 |
commit | bd19e0f8d0616526fec25031124b3a33bbe3c8a3 (patch) | |
tree | 2fd460930f56028a8d4ef322b3b886c44e45dba2 | |
parent | 05b3868f44c125b4ca7fcdb3d9dd7d92954d8178 (diff) |
Update
-rw-r--r-- | src/expressions/evaluate.mli | 27 |
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 |