module AttrEnumerator