lean4-code-actions/libs/generic/models/DataBundle.ts

Refactorings and snippets for Lean 4

export interface DataBundle<T> {
  array: T[]
  record: Record<string, T>
}