UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

5 lines (4 loc) • 87 B
1
2
3
4
5
export interface ResultsAccumulator<Val, Err> { successes: Val[] failures: Err[] }