Image.ReadImageStreaming
include ReadImage
val size : ImageUtil.chunk_reader -> int * int
val parsefile : ImageUtil.chunk_reader -> image
val read_streaming :
ImageUtil.chunk_reader ->
read_state option ->
image option * int * read_state option
read_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
.