INTERFACE SeqM3AST_AS_REVELATION_rep = SeqElem_rep (SeqM3AST_AS_REVELATION, M3AST_AS_REVELATION) END SeqM3AST_AS_REVELATION_rep.