WyC: adding yet more documentation to the code generation class.:wq
WyC: adding yet more documentation to the code generation class.:wq

hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler