Public types are visible, which are the only ones that matter to the module user.
Many languages with modules support public and private comments as well.