diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2018-08-02 19:44:49 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2018-08-02 19:44:49 +0200 |
commit | c20b6dd7533775eaed045950e04175b020ac52c4 (patch) | |
tree | 3b61fbfecd8d161808fb22b4c7f9b213335f9072 /src/expressions/sym_expr.ml | |
parent | a0ea857685804735d60f19a166274745d8785e62 (diff) |
Update expression evaluation
Diffstat (limited to 'src/expressions/sym_expr.ml')
-rw-r--r--[-rwxr-xr-x] | src/expressions/sym_expr.ml | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/src/expressions/sym_expr.ml b/src/expressions/sym_expr.ml index 4f5d6a6..843b8a4 100755..100644 --- a/src/expressions/sym_expr.ml +++ b/src/expressions/sym_expr.ml @@ -23,26 +23,24 @@ module type SYM_EXPR = sig type t
- type repr
-
type obs
- val value : 'a T.t -> t -> repr
+ val value : 'a T.t -> t
- val ref : 'a R.t -> t -> repr
+ val ref : 'a R.t -> t
- val call0 : UTF8.t -> t -> repr
+ val call0 : UTF8.t -> t
- val call1 : UTF8.t -> repr -> t -> repr
+ val call1 : UTF8.t -> t -> t
- val call2 : UTF8.t -> repr -> repr -> t -> repr
+ val call2 : UTF8.t -> t -> t -> t
- val call3 : UTF8.t -> repr -> repr -> repr -> t -> repr
+ val call3 : UTF8.t -> t -> t -> t -> t
- val callN: UTF8.t -> repr list -> t -> repr
+ val callN: UTF8.t -> t list -> t
- val expression : repr -> t -> repr
+ val expression : t -> t
- val observe : repr -> obs
+ val observe : t -> obs
end
|