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

Refactorings and snippets for Lean 4

/* eslint-disable no-console */

export const logDeep = <T>(value: T) => {
  console.dir(value, { depth: null })
  return value
}