Module ModuleTypeAliases2.A

module type A = sig ... end
module X : A