Man pages matching name libptytty in section 3:

libptytty.3.en

debian 12 / libptytty-dev