From 3bdff980eaf72ea8be3886e8b4463a45cf4e7dc9 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Thu, 2 Nov 2017 13:34:37 +0100 Subject: Add a representation for the splay tree --- evaluator.mli | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'evaluator.mli') 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 -- cgit v1.2.3