MODULE SeqM3AST_AS_DEF_ID EXPORTS SeqM3AST_AS_DEF_ID, SeqM3AST_AS_DEF_ID_rep = SeqElem (M3AST_AS_DEF_ID) END SeqM3AST_AS_DEF_ID.