|
|
|---|
|
|
|
|---|
Options for the ATC pretty-printer.
We provide an extensible collection of options for how ATC pretty-prints C code. Currently we only support one simple options, but we may add possibly many more options, e.g. to control indentation, maximum line length, and so on.