Module Diameter.MakeGen.D

module D: Diameter.G.WT