pub fn dump_expr( expr: *mut AstExpr, use_defs: &DenseHashMap<*mut AstExpr, *mut Definition>, ) -> String