Document gAVL declaration