MODULE SeqM3AST_AS_Tcase EXPORTS SeqM3AST_AS_Tcase, SeqM3AST_AS_Tcase_rep = SeqElem (M3AST_AS_Tcase) END SeqM3AST_AS_Tcase.