Man pages matching name getbddvarnode in section 3:

getbddvarnode.3.en

debian 10 / alliance