MODULE SeqM3AST_AS_Formal_param EXPORTS SeqM3AST_AS_Formal_param, SeqM3AST_AS_Formal_param_rep = SeqElem (M3AST_AS_Formal_param) END SeqM3AST_AS_Formal_param.