From 824f2987d47e87d58ee2a4a96d7be417aad6aeab Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 31 Jan 2018 13:20:20 +0100
Subject: API refactoring : made the GADT abstract, provide contructor for each
 case, and deported the expression with evaluation with module functors

---
 src/evaluator.mli | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 src/evaluator.mli

(limited to 'src/evaluator.mli')

diff --git a/src/evaluator.mli b/src/evaluator.mli
deleted file mode 100755
index e338b8d..0000000
--- a/src/evaluator.mli
+++ /dev/null
@@ -1,4 +0,0 @@
-val eval: (ScTypes.refs -> ScTypes.result option ScTypes.Refs.range) -> ScTypes.expression -> ScTypes.result
-
-val set_catalog: Functions.C.t -> unit
-
-- 
cgit v1.2.3