diff options
Diffstat (limited to 'evaluator.mli')
| -rwxr-xr-x | evaluator.mli | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/evaluator.mli b/evaluator.mli index d695b68..de03ffc 100755 --- a/evaluator.mli +++ b/evaluator.mli @@ -1,4 +1,4 @@ -val repr: (ScTypes.refs -> ScTypes.types option ScTypes.Refs.range) -> ScTypes.expression -> ScTypes.types
+val repr: (ScTypes.refs -> ScTypes.result option ScTypes.Refs.range) -> ScTypes.expression -> ScTypes.result
(** Type definitions *)
@@ -10,49 +10,49 @@ val t_list: 'a typ -> 'a list typ (** Result formats *)
-type 'a result
+type 'a returnType
(** Numeric (any format) *)
-val f_num: DataType.Num.t result
+val f_num: DataType.Num.t returnType
(** Date *)
-val f_date: DataType.Num.t result
+val f_date: DataType.Num.t returnType
(** Number *)
-val f_number: DataType.Num.t result
+val f_number: DataType.Num.t returnType
(** Boolean result *)
-val f_bool: DataType.Bool.t result
+val f_bool: DataType.Bool.t returnType
(** String *)
-val f_string: DataType.String.t result
+val f_string: DataType.String.t returnType
(** Catalog *)
val register0:
string -> (* The function name *)
- 'a result -> (* The return type *)
+ 'a returnType -> (* The return type *)
(unit -> 'a) (* The function to call *)
-> unit
val register1:
string -> (* The function name *)
'a typ -> (* The signature *)
- 'b result -> (* The return type *)
+ 'b returnType -> (* The return type *)
('a -> 'b) (* The function to call *)
-> unit
val register2:
string -> (* The function name *)
('a typ * 'b typ) ->(* The signature *)
- 'c result -> (* The return type *)
+ 'c returnType -> (* The return type *)
( 'a -> 'b -> 'c) (* The function to call*)
-> unit
val register3:
string -> (* The function name *)
('a typ * 'b typ * 'c typ) ->(* The signature *)
- 'd result -> (* The return type *)
+ 'd returnType -> (* The return type *)
( 'a -> 'b -> 'c -> 'd) (* The function to call*)
-> unit
|