lib/debian · pac · Tangled

pac lib debian

18 files

Ryan Gibb · solve.mli's optional_read comment reads as one sentence, work_heap.mli documents each value at its own declaration, and site_data says merged sites have none · 1mo ago

debian: every module has an interface; the work heap's record is private behind a state accessor, and Tables.S is written out as Make's result

debian: Tables.tables is abstract, read through stats and the questions Debian_solve and Apt_reject ask, and Debian_solve owns its selector cache

debian: Apt_reject's state is abstract, and Order asks it through forget_rejections and narrowings

deb_packages.ml

debian: every module has an interface; the work heap's record is private behind a state accessor, and Tables.S is written out as Make's result

deb_packages.mli

debian: every module has an interface; the work heap's record is private behind a state accessor, and Tables.S is written out as Make's result

debian_solve.ml

debian: Tables.tables is abstract, read through stats and the questions Debian_solve and Apt_reject ask, and Debian_solve owns its selector cache

debian_solve.mli

debian: every module has an interface; the work heap's record is private behind a state accessor, and Tables.S is written out as Make's result

drivers: dropped declarations counted per run, not in globals; one warn-error policy for lib; library names spell the ecosystem; npm's cache is the user's

debian: Apt_reject's state is abstract, and Order asks it through forget_rejections and narrowings

debian: every module has an interface; the work heap's record is private behind a state accessor, and Tables.S is written out as Make's result

debian: every module has an interface; the work heap's record is private behind a state accessor, and Tables.S is written out as Make's result

debian: every module has an interface; the work heap's record is private behind a state accessor, and Tables.S is written out as Make's result

debian: Tables.tables is abstract, read through stats and the questions Debian_solve and Apt_reject ask, and Debian_solve owns its selector cache

debian: Tables.tables is abstract, read through stats and the questions Debian_solve and Apt_reject ask, and Debian_solve owns its selector cache

test_apt_args.ml

apt_args: query_element split into one function per job; whether apt's cache holds a name is a table lookup

debian: every module has an interface; the work heap's record is private behind a state accessor, and Tables.S is written out as Make's result

solve.mli's optional_read comment reads as one sentence, work_heap.mli documents each value at its own declaration, and site_data says merged sites have none