From 01d7f77f65c3a2b83978b1f00c87b54f00647816 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 25 Oct 2017 14:50:32 +0200 Subject: Update sheet traversal --- expression.mli | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'expression.mli') diff --git a/expression.mli b/expression.mli index e54d2a0..8cab479 100755 --- a/expression.mli +++ b/expression.mli @@ -1,7 +1,7 @@ type t = - | Basic of ScTypes.types (** A direct type *) - | Formula of formula (** A formula *) - | Undefined (** The content is not defined *) + | 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 *) @@ -16,7 +16,7 @@ val load_expr: t -> t val is_defined: t -> bool (** Evaluate the expression *) -val eval: t -> (ScTypes.refs -> ScTypes.types option ScTypes.Refs.range) -> ScTypes.result +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 -- cgit v1.2.3