UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 lines (2 loc) • 160 B
1
2
3
4
import { BasicArithmetic } from '../arithmetic' export const getSummator = <N>(arith: BasicArithmetic<N>) => (total: N, amount: N) => arith.add(total, amount)