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/scTypes.mli | |
| parent | a0ea857685804735d60f19a166274745d8785e62 (diff) | |
Update expression evaluation
Diffstat (limited to 'src/scTypes.mli')
| -rw-r--r--[-rwxr-xr-x] | src/scTypes.mli | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/scTypes.mli b/src/scTypes.mli index 04d38eb..326a31c 100755..100644 --- a/src/scTypes.mli +++ b/src/scTypes.mli @@ -63,8 +63,6 @@ module Refs : sig val range : Cell.t -> Cell.t -> t
- val shift: (int * int) -> t -> t
-
(** Evaluate a reference and get the result *)
module Eval(R:Sym_ref.SYM_REF): sig
@@ -105,11 +103,9 @@ module Expr : sig (** An expression *)
val expression : t -> t
- val shift_exp: (int * int) -> t -> t
-
module Eval(E:Sym_expr.SYM_EXPR): sig
- val eval: t -> E.t -> E.obs
+ val eval: t -> E.obs
end
|