summaryrefslogtreecommitdiff
path: root/src/elab_env.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/elab_env.sig')
-rw-r--r--src/elab_env.sig4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/elab_env.sig b/src/elab_env.sig
index 05badecf..89d5fb60 100644
--- a/src/elab_env.sig
+++ b/src/elab_env.sig
@@ -76,4 +76,8 @@ signature ELAB_ENV = sig
val declBinds : env -> Elab.decl -> env
val sgiBinds : env -> Elab.sgn_item -> env
+ val projectCon : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> (Elab.kind * Elab.con option) option
+ val projectVal : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.con option
+ val projectStr : env -> { sgn : Elab.sgn, str : Elab.str, field : string } -> Elab.sgn option
+
end