Expansion.Aliases
Demonstrates expansion when a module is an alias to a hidden module.
module Alias : sig ... end