Functorize symbolic engine, mixed case specs, and document basic symbolic utilities#125

Merged

benozol merged 16 commits intomasterfrom fix-differentiate-symbolic-utilities

Mar 3, 2020

+3,930-3,407

Commits on Feb 19, 2020

Prepare functorization of symbolic engine
benozol
committed

Commits on Feb 22, 2020

Commits on Feb 24, 2020

fixup! Clean interface for module Colis
benozol
committed

Commits on Feb 25, 2020

Commits on Feb 26, 2020

Expose Misc.is_registered rather than Constraints.is_registered in SymbolicConstraints
benozol
committed

Commits on Feb 27, 2020

Correct incomplete handling of arguments in dpkg
benozol
committed