Sharḥ al-Bināʼ. (1700).