Tawḍīḥ al-farāʾiḍ al-sirājiyya, tashīl al-sirājī fī al-mīrāth, wa-talīhā al-manẓūma al-raḥabiyya fī al-farāʾiḍ