Previous
Up
Next
Module
Code_deprecated
module
Code_deprecated:
sig
..
end
Check: deprecated elements.
include
Check.Annotations