Man pages matching name vhdlablvector in section 3:

vhdlablvector.3.en

debian 10 / alliance