CEnum[members] is a symbolic representation of an enum statement.
CError
(SymbolicC Package Symbol) CError[line] is a symbolic representation of a preprocessor error directive.
CFor
(SymbolicC Package Symbol) CFor[init, test, incr, body] is a symbolic representation of a for loop.
CInclude[header] is a symbolic representation of a preprocessor include statement.
CMember[obj, mem] is a symbolic representation of access from a struct.
CPragma[line] is a symbolic representation of a preprocessor pragma directive.
CProgram[args] is a symbolic representation of an entire program.
CReturn[ ] is a symbolic representation of a return from a function. CReturn[arg] returns the argument arg.
CStatement[obj] is a symbolic representation of a statement.
CWhile
(SymbolicC Package Symbol) CWhile[test, body] is a symbolic representation of a while statement.