lean4-code-actions/src/utils/LeanExtension.ts

Refactorings and snippets for Lean 4

/**
 * These are partial types
 */

export interface LeanClient {
  sendRequest: (method: string, params: unknown) => Promise<unknown>
}

export interface LeanClientProvider {
  getActiveClient: () => LeanClient
}

export interface LeanExports {
  clientProvider: LeanClientProvider
}