type gif_extension = | GifComment of string list | GifGraphics of string list | GifPlaintext of string list | GifApplication of string list | GifOtherExt of int * string list
type gif_frame =
{ frame_left: int;
frame_top: int;
frame_bitmap: Index8.t;
mutable frame_extensions: gif_extension list;
frame_delay: int }
type gif_sequence =
{ screen_width: int;
screen_height: int;
screen_colormap: Color.map;
frames: gif_frame list;
loops: int }
val check_header : string -> Image.header
val load : string -> Image.load_option list -> gif_sequence
val load_first : string -> Image.load_option list -> Image.t
Loads the first frame of a gif image sequence.
val save : string -> Image.save_option list -> gif_sequence -> unit
val save_image : string -> Image.save_option list -> Image.t -> unit
Saves an image as a gif file with only one frame
type in_channel
type out_channel
type screen_info =
{ s_width: int;
s_height: int;
s_color_resolution: int;
s_back_ground_color: int;
s_colormap: Color.rgb array }
type record_type =
Undefined
| Screen_desc
| Image_desc
| Extension
| Terminate
type gif_desc =
{ desc_left: int;
desc_top: int;
desc_width: int;
desc_height: int;
desc_interlace: bool;
desc_colormap: Color.rgb array }
val dGifOpenFileName : string -> screen_info * in_channel
val dGifCloseFile : in_channel -> unit
val dGifGetRecordType : in_channel -> record_type
val dGifGetImageDesc : in_channel -> gif_desc
val dGifGetLine : in_channel -> string
val dGifGetExtension : in_channel -> int * string list
val eGifOpenFileName : string -> out_channel
val eGifCloseFile : out_channel -> unit
val eGifPutScreenDesc : out_channel ->screen_info -> unit
val eGifPutImageDesc : out_channel -> gif_desc -> unit
val eGifPutLine : out_channel -> string -> unit
val eGifPutExtension : out_channel -> int * string list -> unit
Go to the first, previous, next, last section, table of contents.