Man pages matching name instrument in section 3erl:

instrument.3erl.en	debian 10 / erlang-manpages
instrument.3erl.en	debian 11 / erlang-manpages
instrument.3erl.en	debian 12 / erlang-manpages