UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (2 loc) • 99 B
1
2
3
4
export type Actor<In> = (input: In) => void export type ActorP<In> = (input: In) => Promise<void>