The words contained in this file might help you see if this file matches what you are looking for:
...Solidity documentation release ethereum feb basics getting started translations contents introduction to smart contracts installing the compiler by example layout of a source file structure contract types units and globally available variables expressions control structures inline assembly cheatsheet languagegrammar using analysing output ir based codegen changes state in storage memory call data cleaning up mappings theoptimizer metadata abi specication v breaking natspec format security considerations smtcheckerandformalverication resources import path resolution yul style guide commonpatterns i list known bugs contributing brand languageinuences index ii...