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