INTERFACE SeqM3AST_AS_Formal_param_rep = SeqElem_rep (SeqM3AST_AS_Formal_param, M3AST_AS_Formal_param) END SeqM3AST_AS_Formal_param_rep.