import { type Refute } from './prelude.js';
declare const gte: (than: number) => Refute<number>;
export default gte;