lean4-code-actions/libs/utils/console/ConsoleTimer.ts

Refactorings and snippets for Lean 4

/* eslint-disable no-console */

export class ConsoleTimer {
  constructor(public label: string) {
    console.time(label)
  }

  log() {
    console.timeLog(this.label, ...arguments)
  }

  end() {
    console.timeEnd(this.label)
  }
}