lean4-code-actions/libs/utils/axios.d.ts

Refactorings and snippets for Lean 4

declare module 'axios/lib/adapters/http' {
  import { AxiosAdapter } from 'axios'

  const httpAdapter: AxiosAdapter
  namespace httpAdapter { }

  export = httpAdapter;
}