IntroToTypes mentions CodeGeneration. Maybe this page should exist, maybe not. Either way, there needs to be a documentation of how a user is supposed to define C code in Ops and Types.