From a0a1e89e7d27711ff67c909ae2d42b153b806280 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 31 Mar 2023 18:15:24 +0100
Subject: Define Declarative typing rules.

---
 obs.ipkg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'obs.ipkg')

diff --git a/obs.ipkg b/obs.ipkg
index 14e9f93..a0f8e9c 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -8,6 +8,7 @@ options = "--total"
 
 modules
   = Core.Context
+  , Core.Declarative
   , Core.Name
   , Core.Term
   , Core.Term.Environment
-- 
cgit v1.2.3