lean4-code-actions/libs/utils/Mapper/getMapperOneTupleFromMapperTwo.ts

Refactorings and snippets for Lean 4

import { MapperTwo } from './index'

export const getMapperOneTupleFromMapperTwo = <A, B, Out>(func: MapperTwo<A, B, Out>) => ([a, b]: [A, B]) => func(a, b)