disco-0.1.0.0: test/types-squash/input
:type floor 0 :type floor (1/2) :type floor (-1) :type floor (-1/2) -- :type floor (2 : Z7) :type abs 0 :type abs (1/2) :type abs (-1) :type abs (-1/2) -- :type abs (2 : Z7)
:type floor 0 :type floor (1/2) :type floor (-1) :type floor (-1/2) -- :type floor (2 : Z7) :type abs 0 :type abs (1/2) :type abs (-1) :type abs (-1/2) -- :type abs (2 : Z7)