וההיכל בו'. אע''פ ששם ההיכל הונח על מה שלפני בית קדשי הקדשים, ונקרא בבתוב קודש, או אהל מועד במשכן, בית קדשי הקדשים, ונקרא בכתוב קודש, או אהל מועד במשכן, אבל חז''ל על צד ההשאלה רגילים לקרות לכל הבנין גם יחד בשם הפרט, היכל: