path: root/tests/tcsimp.ur

val x : $(mapU string [A, B]) = {A = "hi", B = "bye"}

val y = show x