import Type.Real
The Type.Real class has a bunch of type declarations used throughout the Basis library.
REAL.GILDA exit Real double, entry Input string IEEE.GILDA exit Real double, entry Input string, change Index = 0 word REAL.JAVA exit Real double, entry Input string, change Index = 0 word Is.Denormal( Double[0] ) ==> Denormal cell REAL.GILDA exit Real single, entry Input string IEEE.GILDA exit Real single, entry Input string, change Index = 0 word REAL.JAVA exit Real single, entry Input string, change Index = 0 word