182 StructValue &createOptionalValue(Environment &Env, BoolValue &HasValueVal) {  in createOptionalValue()
190 BoolValue *getHasValue(Environment &Env, Value *OptionalVal) {  in getHasValue()
239                                                     Environment &Env) {  in maybeInitializeOptionalValueMember()
292 bool isEmptyOptional(const Value &OptionalVal, const Environment &Env) {  in isEmptyOptional()
301 bool isNonEmptyOptional(const Value &OptionalVal, const Environment &Env) {  in isNonEmptyOptional()
344                          BoolValue &(*ModelPred)(Environment &Env,  in transferValueOrImpl()
375                              [](Environment &Env, BoolValue &ExprVal,  in transferValueOrStringEmptyCall()
392                       [](Environment &Env, BoolValue &ExprVal,  in transferValueOrNotEqX()
658                                                const Environment &Env) {  in diagnoseUnwrapCall()
680   return MatchSwitchBuilder<const Environment, std::vector<SourceLocation>>()  in buildDiagnoseMatchSwitch()
685              const Environment &Env) {  in buildDiagnoseMatchSwitch()
693              const Environment &Env) {  in buildDiagnoseMatchSwitch()
712                                             Environment &Env) {  in transfer()
719                                                      const Environment &Env1,  in compareEquivalent()
721                                                      const Environment &Env2) {  in compareEquivalent()
726                                          const Environment &Env1,  in merge()
728                                          const Environment &Env2,  in merge()
730                                          Environment &MergedEnv) {  in merge()
748     ASTContext &Context, const Stmt *Stmt, const Environment &Env) {  in diagnose()