Update ScTypes.types with types used in evaluator

1 files changed, 4 insertions, 4 deletions

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