(motive : Lean.Compiler.LCNF.FloatLetIn.Decision → Sort u_1) →
  (x : Lean.Compiler.LCNF.FloatLetIn.Decision) →
    ((a : Lean.Name) → motive (Lean.Compiler.LCNF.FloatLetIn.Decision.arm a)) →
      (Unit → motive Lean.Compiler.LCNF.FloatLetIn.Decision.default) →
        (Unit → motive Lean.Compiler.LCNF.FloatLetIn.Decision.dont) →
          (Unit → motive Lean.Compiler.LCNF.FloatLetIn.Decision.unknown) → motive x