lean4-code-actions
Version:
Refactorings and snippets for Lean 4
9 lines (5 loc) • 322 B
text/typescript
import { Mapper } from '../../utils/Mapper'
import { Modifier, ModifierP } from '../../utils/Modifier'
export type DepsStateModifier<Deps, State> = Mapper<Deps, Modifier<State>>
export type DepsStateModifierP<Deps, State> = Mapper<Deps, ModifierP<State>>
export type DSMP<Deps, State> = DepsStateModifierP<Deps, State>