MODULE SeqM3AST_AS_Interface EXPORTS SeqM3AST_AS_Interface, SeqM3AST_AS_Interface_rep = SeqElem (M3AST_AS_Interface) END SeqM3AST_AS_Interface.