$roleMembersCount

Returns the amount of users with given role ID.

Warning

This data comes from the cache, not the api, therefore it may not be precise unless all the guild members are cached (which only in tier 5).