Docs for GeneratedCode.cs