m3tk/derived/SeqM3AST_AS_REVELATION.m3


generated by m3build

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