Function pretty_expression_domain_annotation 

pub fn pretty_expression_domain_annotation(
    expr: &Expression,
    domain: impl Display,
) -> String

Pretty prints an expression with an Essence-style domain annotation.

: is treated as an expression operator for parenthesisation purposes.