export interface Semiring<A> {
    readonly add_: (x: A, y: A) => A;
    readonly add: (y: A) => (x: A) => A;
    readonly mul_: (x: A, y: A) => A;
    readonly mul: (y: A) => (x: A) => A;
    readonly zero: A;
    readonly one: A;
}
export declare type SemiringMin<A> = {
    readonly add_: (x: A, y: A) => A;
    readonly mul_: (x: A, y: A) => A;
    readonly zero: A;
    readonly one: A;
};
export declare function Semiring<A>(S: SemiringMin<A>): Semiring<A>;
export declare const getFunctionSemiring: <A, B>(S: Semiring<B>) => Semiring<(a: A) => B>;
//# sourceMappingURL=Semiring.d.ts.map