Method has_record

source/python.js:9789–9791

(name)

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