Method get_record

source/python.js:9792–9797

(name)

                return this._records.has(name);
            }
            get_record(name) {
                if (!this.has_record(name)) {
                    throw new python.Error(`Record '${name}' not found.`);
                }
                return this._records.get(name);
            }
            get_all_records() {
                return Array.from(this._records.keys());
            }