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

Refactorings and snippets for Lean 4

import { z } from 'zod'

export const AccessTypeSchema = z.enum([
  'read',
  'write',
  'execute',
])

export type AccessType = z.infer<typeof AccessTypeSchema>