import * as x from 'x-value';
import type { GeneralXBackStatesInReturn } from './back-state/index.js';
export declare class ProcedureDefinition<TXParameter extends x.XTypeOfValue<object>, TXReturn extends x.XTypeOfValue<object>> {
    readonly Parameter: TXParameter;
    private Return_;
    path?: string;
    private ReturnWithBackStates_;
    constructor(Parameter: TXParameter, Return_: TXReturn);
    get Return(): x.IntersectionType<[TXReturn, GeneralXBackStatesInReturn]>;
}
export declare function procedure<TXParameter extends x.XTypeOfValue<object>, TXReturn extends x.XTypeOfValue<object>>(Parameter: TXParameter, Return: TXReturn): ProcedureDefinition<TXParameter, TXReturn>;
export type RPCResult<T extends object> = {
    return: T;
} | {
    throw: {
        code: string;
        message: string;
    };
};