{motive : Lean.Compiler.LCNF.Closure.State → Sort u} →
  ((visited : Lean.FVarIdHashSet) →
      (params : Array Lean.Compiler.LCNF.Param) →
        (decls : Array Lean.Compiler.LCNF.CodeDecl) → motive { visited := visited, params := params, decls := decls }) →
    (t : Lean.Compiler.LCNF.Closure.State) → motive t