(* Copyright (C) 1991, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

MODULE SeqM3AST_AS_REVELATION EXPORTS SeqM3AST_AS_REVELATION, SeqM3AST_AS_REVELATION_rep
    = SeqElem(M3AST_AS_REVELATION)
END SeqM3AST_AS_REVELATION.