The documentation for the models are found in the technical specifications linked below.
Generic IDAES Model Library
Power Generation Model Library
Gas Solid Contactors Model Library