From 80e7bb6165a5ad6517b35f301228f56b58eef39c Mon Sep 17 00:00:00 2001
From: FrigoEU <simon.van.casteren@gmail.com>
Date: Wed, 31 Jul 2019 15:13:18 +0200
Subject: first iteration of "typeOf" command

---
 src/mod_db.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/mod_db.sig')

diff --git a/src/mod_db.sig b/src/mod_db.sig
index c45fd203..40cd52e2 100644
--- a/src/mod_db.sig
+++ b/src/mod_db.sig
@@ -36,6 +36,8 @@ signature MOD_DB = sig
 
     val lookup : Source.decl -> Elab.decl option
 
+    val lookupForTooling : string -> (Elab.decl * Elab.decl list) option
+
     (* Allow undoing to snapshots after failed compilations. *)
     val snapshot : unit -> unit
     val revert : unit -> unit
-- 
cgit v1.2.3