def Cslib.Lint.topNamespace : Batteries.Tactic.Lint.Linter

A linter for checking that new declarations fall under some preexisting namespace.