export declare function le(a: unknown, b: unknown): boolean;