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

Refactorings and snippets for Lean 4

import { z } from 'zod'
import { UrlSchema } from './Url'

export const ImageUrlSchema = UrlSchema

export type ImageUrl = z.infer<typeof ImageUrlSchema>