aboutsummaryrefslogtreecommitdiff
path: root/src/scTypes.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/scTypes.mli')
-rw-r--r--[-rwxr-xr-x]src/scTypes.mli6
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