lean4-code-actions/libs/utils/object.ts

Refactorings and snippets for Lean 4

export interface EmptyObject {}

export function getKeys<Obj extends object>(object: Obj) {
  // fix the type
  return Object.keys(object) as Array<keyof Obj>
}