import { Operators, ops, scalar, scalarRational, scalarExt, has, has0, Immutable, hasProperty } from "./core";
declare class extentT<T extends has<'lt'>> {
    min: T;
    max: T;
    static fromCentreExtent<T extends scalar<T>>(centre: T, size: T): extentT<T>;
    static from<T extends scalar<T>, U extends Iterable<T>>(items: U): extentT<T> | undefined;
    constructor(min: T, max: T);
    extent(): any;
    centre(): any;
    add(p: T): void;
    combine(b: extentT<T>): void;
    encompasses(b: extentT<T>): boolean;
    overlaps(b: extentT<T>): boolean;
    contains(p: T): boolean;
    clamp(p: T): T;
}
export type canDenominator = Pick<scalarExt<any>, 'from' | 'divmod' | 'recip' | 'lt'>;
export declare const Gen: {
    dup<T extends ops<T>>(a: T): T;
    neg<T extends ops<T>>(a: T): T;
    add<T extends ops<T>>(a: T, b: T): T;
    sub<T extends ops<T>>(a: T, b: T): T;
    mul<T extends ops<T>>(a: T, b: T): T;
    div<T extends ops<T>>(a: T, b: T): T;
    ipow<T extends ops<T>>(base: T, exp: number): T;
    eq<T extends has0<"eq">>(a: T, b: T): boolean;
    lt<T extends has0<"lt">>(a: T, b: T): boolean;
    copySign<T extends scalar<T>>(a: T, b: T): T;
    max<T extends has0<"lt">>(...values: T[]): T;
    min<T extends has0<"lt">>(...values: T[]): T;
    compare<T extends has0<"lt">>(a: T, b: T): number;
    gcd<T extends Pick<scalarExt<any>, "sign" | "abs"> & hasProperty<"divmod", (b: T) => any>>(...values: T[]): T;
    lcm<T extends Pick<scalarExt<any>, "divmod" | "sign" | "abs" | "scale">>(...values: T[]): T;
    denominator<T extends canDenominator>(x: T, maxDen: bigint, eps?: T): bigint;
    commonDenominator<T extends canDenominator & has0<"scale">>(numbers: T[], maxDen?: bigint, eps?: T): bigint | 0;
    rationalApprox<T extends scalar<T> & canDenominator>(x: Immutable<T>, maxDen: bigint, eps?: T): [bigint, bigint];
    continuedFractionT<T extends scalarRational<T>>(x: T, maxTerms?: number, eps?: T): (bigint | number)[];
    modPow<T extends has<"divmod">>(base: T, exp: number, mod: T): T;
    OperatorsBase<T extends ops<T>>(_con: new (...args: any[]) => T): Pick<Operators<T>, (keyof Operators<T> & keyof T) | "func" | "ipow">;
    extent: typeof extentT;
};
export default Gen;
export declare namespace Gen {
    type extent<T extends has<'lt'>> = extentT<T>;
}