In this section...
8.1 understanding and clarity
in outrather than
outfor parameters of a generic formal subprogram, when the parameters are of an imported limited type.
withclauses on reusable parts, especially on their specifications.
withstatements to reduce the number of context clauses on a reusable part.
withstatements to import portions of a package rather than the entire package.
Elaboratefor generics named in a context clause.
Priorityin tasks hidden in reusable parts.