export declare const LIST_CONTRACT: {
    readonly name: "List";
    readonly kind: "collection";
    readonly strict: true;
    readonly operations: readonly [{
        readonly id: "List.length";
        readonly kind: "property";
        readonly args: readonly ["List"];
        readonly returns: "Number";
        readonly lowers: {
            readonly kern: "List.length($0)";
            readonly ts: "__kernListLength($0)";
            readonly python: "__kern_list_length($0)";
        };
        readonly fixtures: readonly [{
            readonly args: readonly [readonly []];
            readonly returns: 0;
        }, {
            readonly args: readonly [readonly [1, 2, 3]];
            readonly returns: 3;
        }, {
            readonly args: readonly ["not-list"];
            readonly throws: {
                readonly code: "strict-type";
                readonly message: "List.length expects List.";
            };
        }];
        readonly review: {
            readonly summary: "Strict list cardinality.";
            readonly graph: readonly ["List", "Number", "strict", "portable"];
        };
    }, {
        readonly id: "List.index";
        readonly kind: "method";
        readonly args: readonly ["List", "Number"];
        readonly returns: readonly ["String", "Boolean", "Number", "List", "Record", "Function", "Null", "Undefined"];
        readonly lowers: {
            readonly kern: "List.index($0, $1)";
            readonly ts: "__kernListIndex($0, $1)";
            readonly python: "__kern_list_index($0, $1)";
        };
        readonly fixtures: readonly [{
            readonly args: readonly [readonly [10, 20, 30], 0];
            readonly returns: 10;
        }, {
            readonly args: readonly [readonly [10, 20, 30], 2];
            readonly returns: 30;
        }, {
            readonly args: readonly [readonly [10, 20, 30], 3];
            readonly returns: {
                readonly __kernFixture: "Undefined";
            };
        }, {
            readonly args: readonly [readonly [10, 20, 30], -1];
            readonly returns: {
                readonly __kernFixture: "Undefined";
            };
        }, {
            readonly args: readonly [readonly [10, 20, 30], 1.5];
            readonly returns: {
                readonly __kernFixture: "Undefined";
            };
        }, {
            readonly args: readonly [readonly [10, {
                readonly __kernFixture: "Undefined";
            }, 30], 1];
            readonly returns: {
                readonly __kernFixture: "Undefined";
            };
        }, {
            readonly args: readonly [readonly [], 0];
            readonly returns: {
                readonly __kernFixture: "Undefined";
            };
        }, {
            readonly args: readonly [readonly [10], "0"];
            readonly throws: {
                readonly code: "strict-type";
                readonly message: "List.index expects List, Number.";
            };
        }];
        readonly review: {
            readonly summary: "Strict list index by numeric offset; misses return Undefined.";
            readonly graph: readonly ["List", "Number", "Undefined", "strict", "portable"];
        };
    }];
};