Louis Gesbert 19d0c35961 Printer: less verbose variables printing ... Pass along a bindlib context to allow the variable names to be altered only when disambiguation is needed. Partial fix to #240 (doesn't affect the backends, only the printer for the intermediate ASTs). This also has the benefit of making the output of the tests much more stable.		2022-10-19 14:40:58 +02:00
..
bad	Update test results	2022-10-04 14:50:37 +02:00
good	Printer: less verbose variables printing	2022-10-19 14:40:58 +02:00