Function expr_to_json 

pub fn expr_to_json(expr: &Expr) -> Value

Projects an Expr onto a canonical $expr-tagged serde_json::Value.

This is the lossless encode half of the projection: every kernel Expr variant maps to a tagged JSON form that json_to_expr reads back exactly.