I didn't wrote a more detailed documentation as all these functions are helpers that shouldn't be used by the user, but if you think it may be useful I can give them some love.