පණ්ඩුකාභයගේ කාලයේ සිංහලය ඇරඹුන බව මගෙත් අදහසයි