agrabodhi अग्रबोधि

Definition: m. Name (also title or epithet) of a king of Ceylon,