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

Refactorings and snippets for Lean 4

export interface PrevNext<P, N> {
  prev: P
  next: N
}

export type PrevNextMaybe<T> = PrevNext<T | undefined, T>