rantideva:- ranti—deva

of a king of the lunar race (son of Saṃkṛti; he spent his riches in performing grand sacrifices and the blood which issued from the bodies of the slaughtered victims was changed into a river called carmaR-vatI, Sch. on Megh. 46), MBh.; Kāv.; Pur.