INTERFACE SeqM3AST_SM_Opaque_type_Revln_rep = SeqElem_rep (SeqM3AST_SM_Opaque_type_Revln, M3AST_SM_Opaque_type_Revln) END SeqM3AST_SM_Opaque_type_Revln_rep.