lean4-code-actions/libs/utils/cache/Read/index.ts

Refactorings and snippets for Lean 4

import { GetterP } from '../../Getter'
import { MapperP } from '../../Mapper'

export type Read<Key, Data> = MapperP<Key, Data>

export type ReadKey<Data> = GetterP<Data>