MODULE SeqM3AST_AS_Case EXPORTS SeqM3AST_AS_Case, SeqM3AST_AS_Case_rep = SeqElem (M3AST_AS_Case) END SeqM3AST_AS_Case.