(motive : Unit × Lean.Compiler.LCNF.CollectDerivedValInfo.State✝ → Sort u_1) →
  (__discr : Unit × Lean.Compiler.LCNF.CollectDerivedValInfo.State✝¹) →
    ((fst : Unit) →
        (varMap : Lean.Compiler.LCNF.DerivedValMap✝) →
          (borrowedParams : Lean.FVarIdHashSet) →
            motive (fst, { varMap := varMap, borrowedParams := borrowedParams })) →
      motive __discr