Module ModuleTypeAliases2.B

module type A = A.A
module X = A.X