declare const INFINITE_PREFIX = "$inf$";

export { INFINITE_PREFIX };