MODULE SeqM3AST_SM_Opaque_type_Revln EXPORTS SeqM3AST_SM_Opaque_type_Revln, SeqM3AST_SM_Opaque_type_Revln_rep = SeqElem (M3AST_SM_Opaque_type_Revln) END SeqM3AST_SM_Opaque_type_Revln.