import { SolidityNestedMappingSubquery } from "@axiom-crypto/tools";
import { CircuitValue, RawCircuitInput, CircuitValue256 } from "@axiom-crypto/halo2-lib-js";
import { Halo2LibWasm } from "@axiom-crypto/halo2-lib-js/wasm/web";
import { PrepData } from "./utils";
export interface SolidityMapping {
    /**
     * Retrieves the value of a specific key in the mapping.
     *
     * @param key - The key of the mapping.
     * @returns A `CircuitValue` representing the value of the key in the mapping.
     */
    key: (key: RawCircuitInput | CircuitValue256 | CircuitValue) => CircuitValue256;
    /**
     * Retrieves the value of a nested mapping at a specific depth and with specific keys.
     *
     * @param keys - The keys to access the nested mapping.
     * @returns A `CircuitValue` representing the value of the nested mapping.
     */
    nested: (keys: (RawCircuitInput | CircuitValue256 | CircuitValue)[]) => CircuitValue256;
}
export declare const buildMapping: (blockNumber: CircuitValue, addr: CircuitValue, mappingSlot: CircuitValue256 | CircuitValue, halo2Lib: Halo2LibWasm, prepData: PrepData<SolidityNestedMappingSubquery>) => Readonly<SolidityMapping>;
//# sourceMappingURL=mapping.d.ts.map