From bd19e0f8d0616526fec25031124b3a33bbe3c8a3 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 30 Aug 2019 20:25:18 +0200 Subject: Update --- src/expressions/evaluate.mli | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 src/expressions/evaluate.mli 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 -- cgit v1.2.3