Man pages matching name tshttptxnserverpush in section 3ts:

TSHttpTxnServerPush.3ts.en	debian 10 / trafficserver-dev
TSHttpTxnServerPush.3ts.en	debian 11 / trafficserver-dev
TSHttpTxnServerPush.3ts.en	debian 12 / trafficserver-dev