lean4-code-actions/libs/utils/zod/Refinement/index.ts

Refactorings and snippets for Lean 4

import { RefinementCtx } from 'zod'

export type RefinementVoid<In> = (input: In, ctx: RefinementCtx) => void

export type RefinementTypeAssertion<In, Out extends In> = (input: In, ctx: RefinementCtx) => input is Out