UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

6 lines (5 loc) • 95 B
1
2
3
4
5
6
export interface TransitionGen<Action, State> { action: Action prev: State next: State }