collecting changes to the TcEnv in one place, so that deserialization can use the same code to update the env
collecting changes to the TcEnv in one place, so that deserialization can use the same code to update the env

FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar