FullEnvi.t to group all the environments