diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:22:24 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:23:38 +0100 |
commit | a6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch) | |
tree | ff577395c1a5951a61a7234322f927f6ead5ee29 /expression.mli | |
parent | ecb6fd62c275af03a07d892313ab3914d81cd40e (diff) |
Moved all the code to src directory
Diffstat (limited to 'expression.mli')
-rwxr-xr-x | expression.mli | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/expression.mli b/expression.mli deleted file mode 100755 index 8cab479..0000000 --- a/expression.mli +++ /dev/null @@ -1,29 +0,0 @@ -type t =
- | Basic: 'a ScTypes.types -> t (** A direct type *)
- | Formula: formula -> t (** A formula *)
- | Undefined: t (** The content is not defined *)
-
-and formula =
- | Expression of ScTypes.expression (** A valid expression *)
- | Error of int * UTF8.t (** When the expression cannot be parsed *)
-
-
-(** Load an expression *)
-val load: UTF8.t -> t
-
-val load_expr: t -> t
-
-val is_defined: t -> bool
-
-(** Evaluate the expression *)
-val eval: t -> (ScTypes.refs -> ScTypes.result option ScTypes.Refs.range) -> ScTypes.result
-
-(** Collect all the cell referenced in the expression *)
-val collect_sources: t -> Cell.Set.t
-
-(** Represent an expression *)
-val show: t -> UTF8.t
-
-val shift: (int * int) -> t -> t
-
-val (=): t -> t -> bool
|