Florian Diebold c5ee60e05b Replace Display by a pretty printing trait for Ty
This allows removing the names from Adt and FnDef (and more later), as a first
step towards aligning more with chalk's Ty :)
2019-03-16 16:36:59 +01:00
..
2019-02-11 10:20:04 +02:00
2019-03-02 16:56:09 +03:00
2019-03-05 10:26:36 -05:00
2019-02-11 10:20:04 +02:00
2019-03-05 10:26:36 -05:00
2019-03-03 20:33:50 +01:00
2019-02-12 20:57:13 +03:00
2019-02-19 20:06:53 +03:00
2019-03-05 18:19:36 -03:00