Modules2.dfy(46,17): Error: The name C ambiguously refers to a type in one of the modules A, B (try qualifying the type name with the module name)
Modules2.dfy(46,10): Error: new can be applied only to reference types (got C)
Modules2.dfy(49,14): Error: the name 'E' denotes a datatype constructor, but does not do so uniquely; add an explicit qualification (for example, 'D.E')
Modules2.dfy(50,14): Error: The name D ambiguously refers to a type in one of the modules A, B (try qualifying the type name with the module name)
Modules2.dfy(52,11): Error: The name f ambiguously refers to a static member in one of the modules A, B (try qualifying the member name with the module name)
5 resolution/type errors detected in Modules2.dfy