Louis Gesbert 83e7a845fe Cleanup expr printer interface ... - `Print.expr` no longer needs the context - This removes the need for `expr ~debug` + `expr_debug` ; use `Print.expr` for normal (non-debug) output, and `Print.expr' ?debug ()` for possibly debug output. - This improves consistency of debug expr output in many places - Prints simplified operators (without type suffix) in non-verbose mode (this patch also fixes some cases of `Expr.skip_wrappers` and leverages the binder equality provided by Bindlib)		2023-05-02 13:32:16 +02:00
..
bad	Add overloaded operators for the common operations	2022-12-13 11:55:24 +01:00
good	Cleanup expr printer interface	2023-05-02 13:32:16 +02:00