Man pages matching name ping_setopt in section 3:

ping_setopt.3.en	debian 10 / liboping-dev
ping_setopt.3.en	debian 11 / liboping-dev
ping_setopt.3.en	debian 12 / liboping-dev