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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
# this has been mostly automatically generated by dev/tools/make-depends.sh
# when editing this, ensure to keep .nix/coq-overlays/stdlib-subcomponents
# in sync
digraph stdlib_deps {
node [color="#ff540a",
shape=rectangle,
style=filled
URL="#\N"
];
bool -> classes;
classes -> program;
classes -> relations;
program -> "corelib-wrapper";
program -> logic;
strings -> arith;
reals -> qarith;
reals -> vectors;
reals -> lqa;
reals -> "classical-logic";
reals -> nsatz;
"arith-base" -> structures;
zarith -> lia;
qarith -> field;
positive -> "arith-base";
narith -> ring;
ring -> lists;
ring -> "zarith-base";
arith -> ring;
structures -> bool;
"narith-base" -> positive;
lists -> "arith-base";
"zarith-base" -> "narith-base";
"primitive-int" -> zarith;
"primitive-int" -> unicode;
lia -> narith;
lia -> arith;
"fmaps-fsets-msets" -> zarith;
"fmaps-fsets-msets" -> "orders-ex";
"orders-ex" -> strings;
"orders-ex" -> sorting;
sets -> "classical-logic";
sorting -> lia;
sorting -> sets;
sorting -> vectors;
"primitive-floats" -> "primitive-int";
wellfounded -> lists;
relations -> "corelib-wrapper";
"primitive-string" -> "primitive-int";
"primitive-string" -> "orders-ex";
vectors -> lists;
field -> zarith;
field -> "qarith-base";
lqa -> field;
"qarith-base" -> ring;
"classical-logic" -> arith;
nsatz -> zarith;
nsatz -> "qarith-base";
extraction -> "primitive-string";
extraction -> "primitive-floats";
extraction -> "primitive-array";
"primitive-array" -> "primitive-int";
streams -> logic;
funind -> "arith-base";
rtauto -> positive;
rtauto -> lists;
compat -> reals;
compat -> "fmaps-fsets-msets";
compat -> wellfounded;
compat -> "primitive-string";
compat -> extraction;
compat -> streams;
compat -> funind;
compat -> rtauto;
all -> compat
}
|
