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

4 lines
62 B
JavaScript

const INFINITE_PREFIX = '$inf$';
export { INFINITE_PREFIX };