86   ModelDumper(llvm::json::OStream &JOS, const Environment &Env)  in ModelDumper()  argument
87       : JOS(JOS), Env(Env) {}  in ModelDumper()
117       JOS.attribute("truth", Env.proves(B->formula()) ? "true"  in dump()
118                              : Env.proves(Env.arena().makeNot(B->formula()))  in dump()
129     if (auto *V = Env.getValue(L))  in dump()
136             if (Value *Val = Env.getValue(*Child.second))  in dump()
148   const Environment &Env;  member in clang::dataflow::__anon475589f90111::ModelDumper
276             if (auto *V = State.Env.getValue(*E))  in recordState()
278                   "value", [&] { ModelDumper(*JOS, State.Env).dump(*V); });  in recordState()
280             if (auto *Loc = State.Env.getStorageLocation(*E))  in recordState()
282                   "value", [&] { ModelDumper(*JOS, State.Env).dump(*Loc); });  in recordState()
293         State.Env.dump(BuiltinLatticeS);  in recordState()