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/dune | 56 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 lib/extraction/dune

(limited to 'lib/extraction/dune')

diff --git a/lib/extraction/dune b/lib/extraction/dune
new file mode 100644
index 0000000..b56caf9
--- /dev/null
+++ b/lib/extraction/dune
@@ -0,0 +1,56 @@
+(coq.extraction
+ (prelude prelude)
+ (extracted_modules
+  Ascii
+  BinInt
+  Bits
+  Decimal
+  prelude
+  gmap
+  Nat
+  PeanoNat
+  SpecFloat
+  ZArith_dec
+  base
+  BinNat
+  Bool
+  DecimalString
+  interp
+  numbers
+  pretty
+  Specif
+  Zbool
+  Basics
+  BinNums
+  countable
+  list0
+  operational
+  res
+  String
+  Zpower
+  Binary
+  BinPosDef
+  Datatypes
+  fin_maps
+  List
+  option
+  Round
+  strings
+  BinarySingleNaN
+  BinPos
+  decidable
+  floats
+  mapset
+  orders
+  sorting
+  utils)
+ (flags
+  (-output-directory "."))
+ (theories Flocq stdpp mininix))
+
+(library
+ (name extraction)
+ (flags
+  (:standard -w -33))
+ (instrumentation
+  (backend bisect_ppx)))
-- 
cgit v1.2.3