diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2016-11-21 17:06:19 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-01-01 13:30:43 +0100 |
commit | 023c11470e32744a43b7e3c7c248f3c47ebdc687 (patch) | |
tree | 832e04c2923295d5adf61e58d9a333afb5b26c77 /expression.mli | |
parent | ef312564ca84a2b49fc291434d8fb2f8501bb618 (diff) |
Use gadt for function catalog
Diffstat (limited to 'expression.mli')
-rwxr-xr-x | expression.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/expression.mli b/expression.mli index 9888ece..f7f0ece 100755 --- a/expression.mli +++ b/expression.mli @@ -15,7 +15,7 @@ val load_expr: t -> t val is_defined: t -> bool
(** Evaluate the expression *)
-val eval: t -> (ScTypes.refs -> ScTypes.types) -> ScTypes.result
+val eval: t -> (ScTypes.refs -> ScTypes.types ScTypes.Refs.range) -> ScTypes.result
(** Collect all the cell referenced in the expression *)
val collect_sources: t -> Cell.Set.t
|