Lean.Meta.ConfigWithKey →
  Bool →
    Lean.FVarIdSet →
      Lean.LocalContext →
        Lean.LocalInstances →
          Option Lean.Meta.DefEqContext →
            ℕ → Option (Lean.Meta.Config → Lean.ConstantInfo → Lean.CoreM Bool) → Bool → Bool → Bool → Lean.Meta.Context