040000 tree effdd37f274b2b03cda95b879714e7ae6d5e3426	type.index.hash
040000 tree 9c95237830330186a24e5d66bacd2292922cd3d8	type.index.members
040000 tree 1cf7957e46e47570e8184e25eb59f2a93ac05305	type.index.overview
040000 tree fa4bf95c9e595c56aaba9dd67642e5fa9ebb09f6	type.index.synopsis