export { idl } from "./idl.js";
/** The address of the module. */
export declare const ADDRESS: "0x1";
/** The full module name. */
export declare const FULL_NAME: "0x1::vector";
/** The name of the module. */
export declare const NAME: "vector";
/** Module ID information. */
export declare const id: {
    readonly ADDRESS: "0x1";
    readonly FULL_NAME: "0x1::vector";
    readonly NAME: "vector";
};
export * as errors from "./errors.js";
/** Module error codes. */
export declare const errorCodes: {
    readonly "131072": {
        readonly name: "EINDEX_OUT_OF_BOUNDS";
        readonly doc: "The index into the vector is out of bounds";
    };
};
/** All module function IDLs. */
export declare const functions: {};
/** All struct types with ability `key`. */
export declare const resources: {};
/** All struct types. */
export declare const structs: {};
/**
 * A variable-sized container that can hold any type. Indexing is 0-based, and
 * vectors are growable. This module has many native functions.
 * Verification of modules that use this one uses model functions that are implemented
 * directly in Boogie. The specification language has built-in functions operations such
 * as `singleton_vector`. There are some helper functions defined here for specifications in other
 * modules as well.
 *
 * >Note: We did not verify most of the
 * Move functions here because many have loops, requiring loop invariants to prove, and
 * the return on investment didn't seem worth it for these simple functions.
 */
export declare const moduleDefinition: {
    readonly errorCodes: {
        readonly "131072": {
            readonly name: "EINDEX_OUT_OF_BOUNDS";
            readonly doc: "The index into the vector is out of bounds";
        };
    };
    readonly functions: {};
    readonly resources: {};
    readonly structs: {};
    readonly ADDRESS: "0x1";
    readonly FULL_NAME: "0x1::vector";
    readonly NAME: "vector";
};
//# sourceMappingURL=index.d.ts.map