-------------------------------------------------------------------------------- -- | -- Module : Int -- Copyright : (C) Frank Staals -- License : see the LICENSE file -- Maintainer : Frank Staals -- -- Defines the Real-number type -- -------------------------------------------------------------------------------- module Int where -- | The Real number type type R = Int