MODULE SeqM3AST_SC_Unit_stub EXPORTS SeqM3AST_SC_Unit_stub, SeqM3AST_SC_Unit_stub_rep = SeqElem (M3AST_SC_Unit_stub) END SeqM3AST_SC_Unit_stub.