{motive : Lean.Compiler.LCNF.LitValue → Sort u} →
  (t : Lean.Compiler.LCNF.LitValue) →
    ((val : ℕ) → motive (Lean.Compiler.LCNF.LitValue.nat val)) →
      ((val : String) → motive (Lean.Compiler.LCNF.LitValue.str val)) →
        ((val : UInt8) → motive (Lean.Compiler.LCNF.LitValue.uint8 val)) →
          ((val : UInt16) → motive (Lean.Compiler.LCNF.LitValue.uint16 val)) →
            ((val : UInt32) → motive (Lean.Compiler.LCNF.LitValue.uint32 val)) →
              ((val : UInt64) → motive (Lean.Compiler.LCNF.LitValue.uint64 val)) →
                ((val : UInt64) → motive (Lean.Compiler.LCNF.LitValue.usize val)) → motive t