Documentation for the IceT library