diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-02 13:34:37 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-06 09:47:52 +0100 |
| commit | 3bdff980eaf72ea8be3886e8b4463a45cf4e7dc9 (patch) | |
| tree | beb1c6a1d7233c81c18bf2969cf4b558c27c0b45 /evaluator.mli | |
| parent | d121db88abcf054c2d84ee003edb5791f6a2680e (diff) | |
Add a representation for the splay tree
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
|