/// <summary> /// Get address of current leader, if any, within the role set /// </summary> public Address RoleLeader(string role) { return(_roleLeaderMap.GetOrElse(role, null)); }