Files
2026-10-19 16:04:17 +02:00

4 lines
70 B
TypeScript

declare const INFINITE_PREFIX = "$inf$";
export { INFINITE_PREFIX };