The .lib file for SRAM macros makes sense indeed for timing analysis: you want to know the input capacitance of its pins, the slew of its outputs, and the setup time or hold time of its addresses and inputs data bits.