(motive : Lean.Compiler.LCNF.LitValue → Lean.Compiler.LCNF.LitValue → Sort u_1) →
  (x x_1 : Lean.Compiler.LCNF.LitValue) →
    ((a b : ℕ) → motive (Lean.Compiler.LCNF.LitValue.nat a) (Lean.Compiler.LCNF.LitValue.nat b)) →
      ((a b : String) → motive (Lean.Compiler.LCNF.LitValue.str a) (Lean.Compiler.LCNF.LitValue.str b)) →
        ((a b : UInt8) → motive (Lean.Compiler.LCNF.LitValue.uint8 a) (Lean.Compiler.LCNF.LitValue.uint8 b)) →
          ((a b : UInt16) → motive (Lean.Compiler.LCNF.LitValue.uint16 a) (Lean.Compiler.LCNF.LitValue.uint16 b)) →
            ((a b : UInt32) → motive (Lean.Compiler.LCNF.LitValue.uint32 a) (Lean.Compiler.LCNF.LitValue.uint32 b)) →
              ((a b : UInt64) → motive (Lean.Compiler.LCNF.LitValue.uint64 a) (Lean.Compiler.LCNF.LitValue.uint64 b)) →
                ((a b : UInt64) → motive (Lean.Compiler.LCNF.LitValue.usize a) (Lean.Compiler.LCNF.LitValue.usize b)) →
                  ((x x_2 : Lean.Compiler.LCNF.LitValue) → motive x x_2) → motive x x_1