<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of class methods" rel=Appendix href="index_methods.html">
<link title="Index of classes" rel=Appendix href="index_classes.html">
<link title="Index of class types" rel=Appendix href="index_class_types.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Bitmap" rel="Chapter" href="Bitmap.html">
<link title="Blend" rel="Chapter" href="Blend.html">
<link title="Bmp" rel="Chapter" href="Bmp.html">
<link title="Cmyk32" rel="Chapter" href="Cmyk32.html">
<link title="Color" rel="Chapter" href="Color.html">
<link title="Freetype" rel="Chapter" href="Freetype.html">
<link title="Ftlow" rel="Chapter" href="Ftlow.html">
<link title="Fttext" rel="Chapter" href="Fttext.html">
<link title="Genimage" rel="Chapter" href="Genimage.html">
<link title="Gif" rel="Chapter" href="Gif.html">
<link title="Graphic_image" rel="Chapter" href="Graphic_image.html">
<link title="Images" rel="Chapter" href="Images.html">
<link title="Index16" rel="Chapter" href="Index16.html">
<link title="Index8" rel="Chapter" href="Index8.html">
<link title="Info" rel="Chapter" href="Info.html">
<link title="Jis_unicode" rel="Chapter" href="Jis_unicode.html">
<link title="Jpeg" rel="Chapter" href="Jpeg.html">
<link title="Mstring" rel="Chapter" href="Mstring.html">
<link title="OColor" rel="Chapter" href="OColor.html">
<link title="OImage" rel="Chapter" href="OImage.html">
<link title="OImages" rel="Chapter" href="OImages.html">
<link title="OXimage2" rel="Chapter" href="OXimage2.html">
<link title="OXvthumb" rel="Chapter" href="OXvthumb.html">
<link title="Png" rel="Chapter" href="Png.html">
<link title="Ppm" rel="Chapter" href="Ppm.html">
<link title="Ps" rel="Chapter" href="Ps.html">
<link title="Reduce" rel="Chapter" href="Reduce.html">
<link title="Region" rel="Chapter" href="Region.html">
<link title="Rgb24" rel="Chapter" href="Rgb24.html">
<link title="Rgba32" rel="Chapter" href="Rgba32.html">
<link title="Tmpfile" rel="Chapter" href="Tmpfile.html">
<link title="Ximage2" rel="Chapter" href="Ximage2.html">
<link title="Xpm" rel="Chapter" href="Xpm.html">
<link title="Xvthumb" rel="Chapter" href="Xvthumb.html"><title>Gif</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
<span class="keyword">type</span> gif_extension =<br>
<span class="constructor">GifComment</span> <span class="keyword">of</span> string list<br>
<span class="keywordsign">|</span> <span class="constructor">GifGraphics</span> <span class="keyword">of</span> string list<br>
<span class="keywordsign">|</span> <span class="constructor">GifPlaintext</span> <span class="keyword">of</span> string list<br>
<span class="keywordsign">|</span> <span class="constructor">GifApplication</span> <span class="keyword">of</span> string list<br>
<span class="keywordsign">|</span> <span class="constructor">GifOtherExt</span> <span class="keyword">of</span> int * string list<br>
<span class="keyword">type</span> gif_frame = {<br>
frame_left : int;<br>
frame_top : int;<br>
frame_bitmap : <span class="constructor">Index8</span>.t;<br>
<span class="keyword">mutable</span> frame_extensions : <span class="constructor">Gif</span>.gif_extension list;<br>
frame_delay : int;<br>
}<br>
<span class="keyword">type</span> gif_sequence = {<br>
screen_width : int;<br>
screen_height : int;<br>
screen_colormap : <span class="constructor">Color</span>.rgb <span class="constructor">Color</span>.map;<br>
frames : <span class="constructor">Gif</span>.gif_frame list;<br>
loops : int;<br>
}<br>
<span class="keyword">val</span> check_header : string <span class="keywordsign">-></span> <span class="constructor">Images</span>.header<br>
<span class="keyword">val</span> load : string <span class="keywordsign">-></span> <span class="constructor">Images</span>.load_option list <span class="keywordsign">-></span> <span class="constructor">Gif</span>.gif_sequence<br>
<span class="keyword">val</span> load_sequence : string <span class="keywordsign">-></span> <span class="constructor">Images</span>.load_option list <span class="keywordsign">-></span> <span class="constructor">Images</span>.sequence<br>
<span class="keyword">val</span> load_first : string <span class="keywordsign">-></span> <span class="constructor">Images</span>.load_option list <span class="keywordsign">-></span> <span class="constructor">Images</span>.t<br>
<span class="keyword">val</span> save : string <span class="keywordsign">-></span> <span class="constructor">Images</span>.save_option list <span class="keywordsign">-></span> <span class="constructor">Gif</span>.gif_sequence <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> save_image : string <span class="keywordsign">-></span> <span class="constructor">Images</span>.save_option list <span class="keywordsign">-></span> <span class="constructor">Images</span>.t <span class="keywordsign">-></span> unit<br>
<span class="keyword">type</span> in_channel<br>
<span class="keyword">type</span> out_channel<br>
<span class="keyword">type</span> screen_info = {<br>
s_width : int;<br>
s_height : int;<br>
s_color_resolution : int;<br>
s_back_ground_color : int;<br>
s_colormap : <span class="constructor">Color</span>.rgb array;<br>
}<br>
<span class="keyword">type</span> record_type =<br>
<span class="constructor">Undefined</span><br>
<span class="keywordsign">|</span> <span class="constructor">Screen_desc</span><br>
<span class="keywordsign">|</span> <span class="constructor">Image_desc</span><br>
<span class="keywordsign">|</span> <span class="constructor">Extension</span><br>
<span class="keywordsign">|</span> <span class="constructor">Terminate</span><br>
<span class="keyword">type</span> gif_desc = {<br>
desc_left : int;<br>
desc_top : int;<br>
desc_width : int;<br>
desc_height : int;<br>
desc_interlace : bool;<br>
desc_colormap : <span class="constructor">Color</span>.rgb array;<br>
}<br>
<span class="keyword">val</span> dGifOpenFileName : string <span class="keywordsign">-></span> <span class="constructor">Gif</span>.screen_info * <span class="constructor">Gif</span>.in_channel<br>
<span class="keyword">val</span> dGifCloseFile : <span class="constructor">Gif</span>.in_channel <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> dGifGetRecordType : <span class="constructor">Gif</span>.in_channel <span class="keywordsign">-></span> <span class="constructor">Gif</span>.record_type<br>
<span class="keyword">val</span> dGifGetImageDesc : <span class="constructor">Gif</span>.in_channel <span class="keywordsign">-></span> <span class="constructor">Gif</span>.gif_desc<br>
<span class="keyword">val</span> dGifGetLine : <span class="constructor">Gif</span>.in_channel <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> dGifGetExtension : <span class="constructor">Gif</span>.in_channel <span class="keywordsign">-></span> int * string list<br>
<span class="keyword">val</span> eGifOpenFileName : string <span class="keywordsign">-></span> <span class="constructor">Gif</span>.out_channel<br>
<span class="keyword">val</span> eGifCloseFile : <span class="constructor">Gif</span>.out_channel <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> eGifPutScreenDesc : <span class="constructor">Gif</span>.out_channel <span class="keywordsign">-></span> <span class="constructor">Gif</span>.screen_info <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> eGifPutImageDesc : <span class="constructor">Gif</span>.out_channel <span class="keywordsign">-></span> <span class="constructor">Gif</span>.gif_desc <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> eGifPutLine : <span class="constructor">Gif</span>.out_channel <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> eGifPutExtension : <span class="constructor">Gif</span>.out_channel <span class="keywordsign">-></span> int * string list <span class="keywordsign">-></span> unit<br>
<span class="keyword">end</span></code></body></html>
