INTERFACE M3AST_SM_Opaque_type_Revln; IMPORT M3AST_SM; TYPE T = M3AST_SM.Opaque_type_Revln; END M3AST_SM_Opaque_type_Revln.