INTERFACE SeqM3AST_SM_Opaque_type_Revln = SeqElem (M3AST_SM_Opaque_type_Revln) END SeqM3AST_SM_Opaque_type_Revln.