diff options
| -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 |