class interface KL_IMPORTED_INPUT_STREAM_ROUTINES feature(s) from KL_IMPORTED_INPUT_STREAM_ROUTINES -- Access INPUT_STREAM_: KL_INPUT_STREAM_ROUTINES -- Routines that ought to be in class INPUT_STREAM ensure input_stream_routines_not_void: Result /= Void feature(s) from KL_IMPORTED_INPUT_STREAM_ROUTINES -- Type anchors INPUT_STREAM_TYPE: INPUT_STREAM end of KL_IMPORTED_INPUT_STREAM_ROUTINES