lean4-code-actions/libs/utils/remeda/over.ts

Refactorings and snippets for Lean 4

import { Mapper } from '../Mapper'

export const over = <From, To>(from: From) => (mapper: Mapper<From, To>) => mapper(from)