INTERFACEImport ; TYPE T <: Public; Public = OBJECT METHODS init(): T; addModule(MN: TEXT); (* add module if it is not already added *) addType(m3typeName: TEXT); (* addModule(MN) if m3typeName = "MN.*" *) toDeclaration(): TEXT; (* for each MN: IMPORT MN; *) END; END Import.