Man pages matching name getbddvarbyindex in section 3:

getbddvarbyindex.3.en

debian 10 / alliance