From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Mon, 7 Jul 2025 21:52:08 +0200
Subject: Initialize repository

---
 lib/extraction/extraction.ml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 lib/extraction/extraction.ml

(limited to 'lib/extraction/extraction.ml')

diff --git a/lib/extraction/extraction.ml b/lib/extraction/extraction.ml
new file mode 100644
index 0000000..a737700
--- /dev/null
+++ b/lib/extraction/extraction.ml
@@ -0,0 +1,18 @@
+include Prelude
+include Interp
+include Operational
+include Res
+
+(* Stuff that's not part of the paper. Still exposed because we sometimes want
+   to be able to create a natural number, float, process a list etc. *)
+module Internal = struct
+  module BinNums = BinNums
+  module Datatypes = Datatypes
+  module List = List
+
+  module Floats = struct
+    include Floats
+    include Binary
+    include SpecFloat
+  end
+end
-- 
cgit v1.2.3