Core Modules
Specialized hashtable for CUDF packages.
Specialized set data structure for CUDF packages.
Parsing And Conversion routines for Debian Packages
Debug, Info and Warning messages are printed immediately on stderr.
Command Line Helpers
functor
Parsing And Conversion routines for Opam Packages
Generic Parsing And Conversion routines.
ProgressBars are printed immediately on stderr.
Sat Solver instance
Set of strings
Timers are printed all at once by the dump function on stderr.
dump
Collection of Comparison functions.
generic failure reason