SubModuleDefaultExport.dfy(15,17): Error: module 'SubE' does not declare a type 'TT'
SubModuleDefaultExport.dfy(18,15): Error: arguments must have comparable types (got SubE.T and bool)
2 resolution/type errors detected in SubModuleDefaultExport.dfy
