Function pretty_expressions_as_conjunction

Source
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.