lean4-code-actions/libs/generic/models/Name.ts

Refactorings and snippets for Lean 4

import { z } from 'zod'

export const NameSchema = z.string().min(1)

export type Name = z.infer<typeof NameSchema>

export interface WithName {
  name: string
}