lean4-code-actions/libs/utils/Evolver/index.ts

Refactorings and snippets for Lean 4

import { Mapper, MapperP } from '../Mapper'

export type Evolver<T> = Mapper<T, T>

export type EvolverP<T> = MapperP<T, T>