pub fn pretty_expressions_as_top_level(expressions: &[Expression]) -> String
Expand description
Pretty prints a Vec<Expression>
as if it were a top level constraint list in a such that
.
Each expression is printed on a new line, and expressions are delimited by commas.
For some input expressions A,B,C:
A,
B,
C
Each Expression
is printed using its underlying Display
implementation.