Initialize repository

1 files changed, 18 insertions, 0 deletions

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