(* Copyright (C) 1991, Digital Equipment Corporation *) (* All rights reserved. *) (* See the file COPYRIGHT for a full description. *) MODULE SeqM3AST_AS_USED_ID EXPORTS SeqM3AST_AS_USED_ID, SeqM3AST_AS_USED_ID_rep = SeqElem(M3AST_AS_USED_ID) END SeqM3AST_AS_USED_ID.