Image.ReadImageStreaminginclude ReadImageval size : ImageUtil.chunk_reader -> int * intval parsefile : ImageUtil.chunk_reader -> imageval read_streaming :
ImageUtil.chunk_reader ->
read_state option ->
image option * int * read_state optionread_streaming io state is an image frame, its suggested display time (in hundredths of a second; for animations), and optionally the state required to read the next frame.
The first invocation should pass state = None to initialize a new reading context.
If the resulting read_state option is None, there are no more image frames available in io. If it is Some st, st must be passed to the next invocation of read_streaming.