UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

6 lines (3 loc) • 107 B
1
2
3
4
5
6
import { Id, IdSchema } from './Id' export const ProjectUidSchema = IdSchema export type ProjectUid = Id