Skip to main content

write_expr_public

aver::ast::unparse

Function write_expr_public 

Source 
pub fn write_expr_public(
    out: &mut String,
    expr: &Spanned<Expr>,
    indent: usize,
) -> Result<(), UnparseError>
Expand description

Render a single expression to Aver source. Public entry point used by the --explain candidate-law renderer (which builds an expression tree and needs to spell it back in Aver-space).