ModuleExport.dfy(30,11): Error: unresolved identifier: g
ModuleExport.dfy(31,11): Error: unresolved identifier: k
ModuleExport.dfy(32,4): Error: unresolved identifier: T
ModuleExport.dfy(32,7): Error: expected method call, found expression
ModuleExport.dfy(42,11): Error: unresolved identifier: k
ModuleExport.dfy(52,9): Error: unresolved identifier: g
ModuleExport.dfy(53,9): Error: unresolved identifier: k
ModuleExport.dfy(66,2): Warning: this branch is redundant
ModuleExport.dfy(73,19): Error: Public2 must be an export of F to be extended
ModuleExport.dfy(74,34): Error: 'g2' must be a member of 'F' to be exported
ModuleExport.dfy(100,9): Error: no default export set declared in module: G
ModuleExport.dfy(125,17): Error: member 'Init' has not been imported in this scope and cannot be accessed here
ModuleExport.dfy(136,8): Error: when allocating an object of type 'C', one of its constructor methods must be called
ModuleExport.dfy(137,12): Error: when allocating an object of imported type 'D', one of its constructor methods must be called
ModuleExport.dfy(234,11): Error: Type or type parameter is not declared in this scope: X (did you forget to qualify a name or declare a module import 'opened'?) (note that names in outer modules are not visible in contained modules)
ModuleExport.dfy(260,9): Error: duplicate name of top-level declaration: X
ModuleExport.dfy(262,8): Related location
ModuleExport.dfy(269,13): Error: no default export set declared in module: ModuleName4
ModuleExport.dfy(272,25): Error: no export set 'Y' in module 'ModuleName4'
ModuleExport.dfy(276,9): Error: duplicate name of export set: X
ModuleExport.dfy(282,2): Error: module export contains a cycle: ExportCycle0 -> A -> B -> ExportCycle0
ModuleExport.dfy(288,9): Error: module export contains a cycle: A -> B -> C -> A
20 resolution/type errors detected in ModuleExport.dfy
