MODULE SeqM3AST_AS_Fields EXPORTS SeqM3AST_AS_Fields, SeqM3AST_AS_Fields_rep = SeqElem (M3AST_AS_Fields) END SeqM3AST_AS_Fields.