import { Array, Literal, Partial, Record, Static, String } from "runtypes";
import { ManyObjectProvider } from "../core";
export declare const FunctionRecord: import("runtypes").Intersect2<Record<{
    name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
    arguments: Array<import("runtypes").Intersect2<Record<{
        name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        type: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
    }, false>, Partial<{
        default: String;
    }>>, false>;
    returns: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
    language: import("runtypes").Union2<Literal<"plpgsql">, Literal<"sql">>;
    security: import("runtypes").Union2<Literal<"invoker">, Literal<"definer">>;
    volatility: import("runtypes").Union3<Literal<"volatile">, Literal<"stable">, Literal<"immutable">>;
    body: String;
}, false>, Partial<{
    previous_name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
    implements: Array<String, false>;
    fallback_for: String;
    requires: Array<Record<{
        trait: String;
    }, false>, false>;
}>>;
export interface FunctionI extends Static<typeof FunctionRecord> {
}
export declare const ContractRecord: Record<{
    name: String;
    arguments: Array<import("runtypes").Intersect2<Record<{
        name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        type: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
    }, false>, Partial<{
        default: String;
    }>>, false>;
    returns: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
}, false>;
export interface ContractI extends Static<typeof ContractRecord> {
}
declare enum FunctionOpCodes {
    CreateFunction = "create_function",
    ReplaceFunction = "replace_function",
    DropFunction = "drop_function",
    RenameFunction = "rename_function",
    AlterFunctionVolatility = "alter_function_volatility",
    AlterFunctionSecurity = "alter_function_security"
}
export declare const FunctionOperation: import("runtypes").Union6<Record<{
    code: Literal<FunctionOpCodes.CreateFunction>;
    func: import("runtypes").Intersect2<Record<{
        name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        arguments: Array<import("runtypes").Intersect2<Record<{
            name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
            type: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        }, false>, Partial<{
            default: String;
        }>>, false>;
        returns: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        language: import("runtypes").Union2<Literal<"plpgsql">, Literal<"sql">>;
        security: import("runtypes").Union2<Literal<"invoker">, Literal<"definer">>;
        volatility: import("runtypes").Union3<Literal<"volatile">, Literal<"stable">, Literal<"immutable">>;
        body: String;
    }, false>, Partial<{
        previous_name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        implements: Array<String, false>;
        fallback_for: String;
        requires: Array<Record<{
            trait: String;
        }, false>, false>;
    }>>;
}, false>, Record<{
    code: Literal<FunctionOpCodes.ReplaceFunction>;
    func: import("runtypes").Intersect2<Record<{
        name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        arguments: Array<import("runtypes").Intersect2<Record<{
            name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
            type: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        }, false>, Partial<{
            default: String;
        }>>, false>;
        returns: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        language: import("runtypes").Union2<Literal<"plpgsql">, Literal<"sql">>;
        security: import("runtypes").Union2<Literal<"invoker">, Literal<"definer">>;
        volatility: import("runtypes").Union3<Literal<"volatile">, Literal<"stable">, Literal<"immutable">>;
        body: String;
    }, false>, Partial<{
        previous_name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        implements: Array<String, false>;
        fallback_for: String;
        requires: Array<Record<{
            trait: String;
        }, false>, false>;
    }>>;
}, false>, Record<{
    code: Literal<FunctionOpCodes.DropFunction>;
    func: import("runtypes").Intersect2<Record<{
        name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        arguments: Array<import("runtypes").Intersect2<Record<{
            name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
            type: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        }, false>, Partial<{
            default: String;
        }>>, false>;
        returns: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        language: import("runtypes").Union2<Literal<"plpgsql">, Literal<"sql">>;
        security: import("runtypes").Union2<Literal<"invoker">, Literal<"definer">>;
        volatility: import("runtypes").Union3<Literal<"volatile">, Literal<"stable">, Literal<"immutable">>;
        body: String;
    }, false>, Partial<{
        previous_name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        implements: Array<String, false>;
        fallback_for: String;
        requires: Array<Record<{
            trait: String;
        }, false>, false>;
    }>>;
}, false>, Record<{
    code: Literal<FunctionOpCodes.RenameFunction>;
    func: import("runtypes").Intersect2<Record<{
        name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        arguments: Array<import("runtypes").Intersect2<Record<{
            name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
            type: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        }, false>, Partial<{
            default: String;
        }>>, false>;
        returns: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        language: import("runtypes").Union2<Literal<"plpgsql">, Literal<"sql">>;
        security: import("runtypes").Union2<Literal<"invoker">, Literal<"definer">>;
        volatility: import("runtypes").Union3<Literal<"volatile">, Literal<"stable">, Literal<"immutable">>;
        body: String;
    }, false>, Partial<{
        previous_name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        implements: Array<String, false>;
        fallback_for: String;
        requires: Array<Record<{
            trait: String;
        }, false>, false>;
    }>>;
}, false>, Record<{
    code: Literal<FunctionOpCodes.AlterFunctionVolatility>;
    func: import("runtypes").Intersect2<Record<{
        name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        arguments: Array<import("runtypes").Intersect2<Record<{
            name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
            type: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        }, false>, Partial<{
            default: String;
        }>>, false>;
        returns: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        language: import("runtypes").Union2<Literal<"plpgsql">, Literal<"sql">>;
        security: import("runtypes").Union2<Literal<"invoker">, Literal<"definer">>;
        volatility: import("runtypes").Union3<Literal<"volatile">, Literal<"stable">, Literal<"immutable">>;
        body: String;
    }, false>, Partial<{
        previous_name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        implements: Array<String, false>;
        fallback_for: String;
        requires: Array<Record<{
            trait: String;
        }, false>, false>;
    }>>;
}, false>, Record<{
    code: Literal<FunctionOpCodes.AlterFunctionSecurity>;
    func: import("runtypes").Intersect2<Record<{
        name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        arguments: Array<import("runtypes").Intersect2<Record<{
            name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
            type: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        }, false>, Partial<{
            default: String;
        }>>, false>;
        returns: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        language: import("runtypes").Union2<Literal<"plpgsql">, Literal<"sql">>;
        security: import("runtypes").Union2<Literal<"invoker">, Literal<"definer">>;
        volatility: import("runtypes").Union3<Literal<"volatile">, Literal<"stable">, Literal<"immutable">>;
        body: String;
    }, false>, Partial<{
        previous_name: import("runtypes").Constraint<import("runtypes").Constraint<import("runtypes").Constraint<String, string, unknown>, string, unknown>, string, unknown>;
        implements: Array<String, false>;
        fallback_for: String;
        requires: Array<Record<{
            trait: String;
        }, false>, false>;
    }>>;
}, false>>;
export declare type FunctionOperationType = Static<typeof FunctionOperation>;
export declare const checkFunctionContractsMatch: (func: FunctionI | ContractI, contract: FunctionI | ContractI) => true | string[];
export declare const FunctionProvider: ManyObjectProvider<FunctionI, FunctionOperationType>;
export {};