Module Code_deprecated

module Code_deprecated: sig .. end
Check: deprecated elements.

include Check.Annotations