INTERFACE SeqM3AST_AS_Tcase_rep = SeqElem_rep (SeqM3AST_AS_Tcase, M3AST_AS_Tcase) END SeqM3AST_AS_Tcase_rep.