From 0e520d3fd675bcebb5751bd1a0c304033f4f7782 Mon Sep 17 00:00:00 2001
From: FrigoEU <simon.van.casteren@gmail.com>
Date: Thu, 1 Aug 2019 17:38:09 +0200
Subject: Improved typeOf searching and handling of Top and Basis

---
 src/elaborate.sig | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/elaborate.sig')

diff --git a/src/elaborate.sig b/src/elaborate.sig
index d60cff42..03359814 100644
--- a/src/elaborate.sig
+++ b/src/elaborate.sig
@@ -47,4 +47,10 @@ signature ELABORATE = sig
     val incremental : bool ref
     val verbose : bool ref
 
+    val dopen: ElabEnv.env
+               -> { str: int
+                  , strs: string list
+                  , sgn: Elab.sgn }
+               -> (Elab.decl list * ElabEnv.env)
+
 end
-- 
cgit v1.2.3