import type { SemiringMin } from './Semiring';
import { Semiring } from './Semiring';
export interface Ring<A> extends Semiring<A> {
    readonly sub_: (x: A, y: A) => A;
    readonly sub: (y: A) => (x: A) => A;
}
export declare type RingMin<A> = SemiringMin<A> & {
    readonly sub_: (x: A, y: A) => A;
};
export declare function Ring<A>(R: RingMin<A>): Ring<A>;
//# sourceMappingURL=Ring.d.ts.map