Searched defs:INTEGER_IO (Results 1 – 8 of 8) sorted by relevance
33 package INTEGER_IO is new TEXT_IO.INTEGER_IO(INTEGER); packspec
6 package INTEGER_IO is new TEXT_IO.INTEGER_IO(INTEGER); packspec
8 package INTEGER_IO is new TEXT_IO.INTEGER_IO(INTEGER); packspec
7 package INTEGER_IO is new TEXT_IO.INTEGER_IO(INTEGER); packspec
12 package INTEGER_IO is new TEXT_IO.INTEGER_IO(INTEGER); packspec
4 package INTEGER_IO is new TEXT_IO.INTEGER_IO(INTEGER); packspec