MODULE SeqM3AST_SC_Exported_node EXPORTS SeqM3AST_SC_Exported_node, SeqM3AST_SC_Exported_node_rep = SeqElem (M3AST_SC_Exported_node) END SeqM3AST_SC_Exported_node.