blob: b56caf916530c83dab88d6fed3f0748e396ae8e9 (
about) (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
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)))
|