# 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
}
