Expand description
Utilities for pretty-printing (u)llbc.
Macrosยง
- impl_
display_ ๐via_ ctx
Traitsยง
- Format the AST type as a string.
Functionsยง
- Format a function call. We return the pair: (function call, comment)
Utilities for pretty-printing (u)llbc.