Man pages matching name px_get_num_records in section 3:

PX_get_num_records.3.en	debian 10 / pxlib-dev
PX_get_num_records.3.en	debian 11 / pxlib-dev
PX_get_num_records.3.en	debian 12 / pxlib-dev