MODULE SeqM3AST_AS_Object_type EXPORTS SeqM3AST_AS_Object_type, SeqM3AST_AS_Object_type_rep = SeqElem (M3AST_AS_Object_type) END SeqM3AST_AS_Object_type.