diff options
Diffstat (limited to 'evaluator.mli')
| -rwxr-xr-x | evaluator.mli | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/evaluator.mli b/evaluator.mli index de03ffc..b296b90 100755 --- a/evaluator.mli +++ b/evaluator.mli @@ -1,4 +1,10 @@ -val repr: (ScTypes.refs -> ScTypes.result option ScTypes.Refs.range) -> ScTypes.expression -> ScTypes.result
+type t
+
+val eval: (ScTypes.refs -> ScTypes.result option ScTypes.Refs.range) -> ScTypes.expression -> ScTypes.result
+
+val repr: Format.formatter -> t -> unit
+
+val get_catalog: unit -> t
(** Type definitions *)
@@ -56,6 +62,5 @@ val register3: ( 'a -> 'b -> 'c -> 'd) (* The function to call*)
-> unit
-
(** [wrap f] run [f] inside a context where there is no functions *)
val wrap: (unit -> 'a) -> 'a
|