The need for documentation for a library is not linked to the amount of code it has. In fact, it’s rather sad that the programmer didn’t bother to document such a small thing. It most certainly wouldn’t have been a big task.