Man pages matching name getbddvarnodebyindex in section 3:

getbddvarnodebyindex.3.en

debian 10 / alliance