A batch of code finished type checking: declarations, procedure headers and bodies, structs and everything else, each with the nodes inside it.
Fields
- m: Message
- declarations: [] Typechecked(Code_Declaration)
- procedure_headers: [] Typechecked(Code_Procedure_Header)
- procedure_bodies: [] Typechecked(Code_Procedure_Body)
- structs: [] Typechecked(Code_Struct)
- others: [] Typechecked(Code_Node)
- all: [] Typechecked(Code_Node)