{motive : Lean.Compiler.LCNF.ExtractClosed.Context → Sort u} →
  (t : Lean.Compiler.LCNF.ExtractClosed.Context) →
    ((baseName : Lean.Name) →
        (sccDecls : Array Lean.Compiler.LCNF.Decl) → motive { baseName := baseName, sccDecls := sccDecls }) →
      motive t