INTERFACE SeqM3AST_AS_FORMAL_ID_rep = SeqElem_rep (SeqM3AST_AS_FORMAL_ID, M3AST_AS_FORMAL_ID) END SeqM3AST_AS_FORMAL_ID_rep.