export declare const RECORD_CONTRACT: {
    readonly name: "Record";
    readonly kind: "record";
    readonly strict: true;
    readonly operations: readonly [{
        readonly id: "Record.get";
        readonly kind: "method";
        readonly args: readonly ["Record", "String"];
        readonly returns: readonly ["String", "Boolean", "Number", "List", "Record", "Function", "Null", "Undefined"];
        readonly lowers: {
            readonly kern: "Record.get($0, $1)";
            readonly ts: "__kernRecordGet($0, $1)";
            readonly python: "__kern_record_get($0, $1)";
        };
        readonly fixtures: readonly [{
            readonly args: readonly [{
                readonly x: 1;
            }, "x"];
            readonly returns: 1;
        }, {
            readonly args: readonly [{
                readonly x: 1;
            }, "y"];
            readonly returns: {
                readonly __kernFixture: "Undefined";
            };
        }, {
            readonly args: readonly [{
                readonly x: {
                    readonly __kernFixture: "Undefined";
                };
            }, "x"];
            readonly returns: {
                readonly __kernFixture: "Undefined";
            };
        }, {
            readonly args: readonly [{}, "toString"];
            readonly returns: {
                readonly __kernFixture: "Undefined";
            };
        }, {
            readonly args: readonly [{}, ""];
            readonly returns: {
                readonly __kernFixture: "Undefined";
            };
        }, {
            readonly args: readonly [{
                readonly x: 1;
            }, 0];
            readonly throws: {
                readonly code: "strict-type";
                readonly message: "Record.get expects Record, String.";
            };
        }];
        readonly review: {
            readonly summary: "Strict own-key record lookup; missing keys return Undefined.";
            readonly graph: readonly ["Record", "String", "Undefined", "strict", "portable"];
        };
    }];
};