{motive : Lean.Compiler.LCNF.LetValue → Sort u} →
  (t : Lean.Compiler.LCNF.LetValue) →
    t.ctorIdx = 0 → ((value : Lean.Compiler.LCNF.LitValue) → motive (Lean.Compiler.LCNF.LetValue.lit value)) → motive t