{motive : Lean.Compiler.LCNF.FloatLetIn.Decision → Sort u} →
  (t : Lean.Compiler.LCNF.FloatLetIn.Decision) →
    ((name : Lean.Name) → motive (Lean.Compiler.LCNF.FloatLetIn.Decision.arm name)) →
      motive Lean.Compiler.LCNF.FloatLetIn.Decision.default →
        motive Lean.Compiler.LCNF.FloatLetIn.Decision.dont →
          motive Lean.Compiler.LCNF.FloatLetIn.Decision.unknown → motive t