Man pages matching name ssl_session_has_ticket in section 3ssl:

SSL_SESSION_has_ticket.3ssl.en	debian 10 / libssl-doc
SSL_SESSION_has_ticket.3ssl.en	debian 11 / libssl-doc
SSL_SESSION_has_ticket.3ssl.en	debian 12 / libssl-doc