In OSI, an output file produced by the Abstract Syntax Checker that shows the names of the PDVs in the input module and the data structures that comprise them.