pub fn pretty_expressions_as_conjunction(expressions: &[Expression]) -> String
Expand description
Pretty prints a Vec<Expression>
as if it were a conjunction.
For some input expressions A,B,C:
(A /\ B /\ C)
Each Expression
is printed using its underlying Display
implementation.