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

Refactorings and snippets for Lean 4

export type Callback<Res> = () => Res

export const defaultCallback: Callback<undefined> = () => undefined