郑同当日使朝鲜，梵宇回将样式传。宝殿叠安千佛座，外头如窣堵波圆。