/**
 * The IDL of the module.
 *
 * @module
 */
/** The IDL of the module. */
export declare const idl: {
    readonly module_id: "0x1::vector";
    readonly doc: "A variable-sized container that can hold any type. Indexing is 0-based, and\nvectors are growable. This module has many native functions.\nVerification of modules that use this one uses model functions that are implemented\ndirectly in Boogie. The specification language has built-in functions operations such\nas `singleton_vector`. There are some helper functions defined here for specifications in other\nmodules as well.\n\n>Note: We did not verify most of the\nMove functions here because many have loops, requiring loop invariants to prove, and\nthe return on investment didn't seem worth it for these simple functions.";
    readonly functions: readonly [];
    readonly structs: readonly [];
    readonly errors: {
        readonly "131072": {
            readonly name: "EINDEX_OUT_OF_BOUNDS";
            readonly doc: "The index into the vector is out of bounds";
        };
    };
};
//# sourceMappingURL=idl.d.ts.map