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