let
isempty_stream ( stream : initstream ) =
match
stream.ist_dat
with
[]
->
true
|
_
->
false