2 files changed, 13 insertions, 0 deletions
diff --git a/src/toplevel/TopLevel.ml b/src/toplevel/TopLevel.ml
new file mode 100644
index 0000000..9ff8986
--- /dev/null
+++ b/src/toplevel/TopLevel.ml
@@ -0,0 +1,6 @@
+module D = NbE.Domain
+
+type item =
+  | Def of { tp : D.t; tm : D.t Lazy.t }
+
+type t = (item, unit) Yuujinchou.Trie.t
diff --git a/src/toplevel/dune b/src/toplevel/dune
new file mode 100644
index 0000000..720635c
--- /dev/null
+++ b/src/toplevel/dune
@@ -0,0 +1,7 @@
+(library
+ (name TopLevel)
+ (public_name toytt.toplevel)
+ (libraries
+  yuujinchou
+  toytt.ident
+  toytt.nbe))