diff options
Diffstat (limited to 'expression.mli')
-rwxr-xr-x | expression.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/expression.mli b/expression.mli index f7f0ece..e54d2a0 100755 --- a/expression.mli +++ b/expression.mli @@ -1,6 +1,7 @@ type t =
| Basic of ScTypes.types (** A direct type *)
| Formula of formula (** A formula *)
+ | Undefined (** The content is not defined *)
and formula =
| Expression of ScTypes.expression (** A valid expression *)
@@ -15,7 +16,7 @@ val load_expr: t -> t val is_defined: t -> bool
(** Evaluate the expression *)
-val eval: t -> (ScTypes.refs -> ScTypes.types ScTypes.Refs.range) -> ScTypes.result
+val eval: t -> (ScTypes.refs -> ScTypes.types option ScTypes.Refs.range) -> ScTypes.result
(** Collect all the cell referenced in the expression *)
val collect_sources: t -> Cell.Set.t
|