(motive : Lean.Compiler.LCNF.Simp.FunDeclInfo → Sort u_1) →
  (x : Lean.Compiler.LCNF.Simp.FunDeclInfo) →
    (Unit → motive Lean.Compiler.LCNF.Simp.FunDeclInfo.once) →
      (Unit → motive Lean.Compiler.LCNF.Simp.FunDeclInfo.many) →
        (Unit → motive Lean.Compiler.LCNF.Simp.FunDeclInfo.mustInline) → motive x