(motive : Lean.Compiler.LCNF.LetValue → Sort u_1) →
  (x : Lean.Compiler.LCNF.LetValue) →
    ((typeName : Lean.Name) →
        (idx : ℕ) → (fvarId : Lean.FVarId) → motive (Lean.Compiler.LCNF.LetValue.proj typeName idx fvarId)) →
      ((x : Lean.Compiler.LCNF.LetValue) → motive x) → motive x