import { DotExpression, NumberLiteral, TypeExpression } from "./expressions";
export declare const trueExpression: NumberLiteral;
export declare const falseExpression: NumberLiteral;
export declare const dotExpression: DotExpression;
export declare const positiveInfinity: NumberLiteral;
export declare const negativeInfinity: NumberLiteral;
export declare function isTrue(a: unknown): boolean;
export declare function isFalse(a: unknown): boolean;
export declare const never: TypeExpression;
export declare const always: TypeExpression;
export declare function isNever(a: unknown): boolean;
export declare function isAlways(a: unknown): boolean;