module type ENCODE =
  sig
    type t
    val bytes_per_pixel : int
    val get : string -> int -> t
    val set : string -> int -> t -> unit
    val make : t -> string
  end
module type RAWIMAGE =
  sig
    module Encode : ENCODE
    type elt
    and bitmap
    and t = { width : int; height : int; bitmap : bitmap; }
    val width : t -> int
    val height : t -> int
    val dump : t -> string
    val create_with : int -> int -> string -> t
    val create : int -> int -> t
    val make : int -> int -> elt -> t
    val unsafe_access : t -> int -> int -> string * int
    val get_strip : t -> int -> int -> int -> string
    val set_strip : t -> int -> int -> int -> string -> unit
    val get_scanline : t -> int -> string
    val set_scanline : t -> int -> string -> unit
    val unsafe_get : t -> int -> int -> elt
    val unsafe_set : t -> int -> int -> elt -> unit
    val get : t -> int -> int -> elt
    val set : t -> int -> int -> elt -> unit
    val destroy : t -> unit
    val copy : t -> t
    val sub : t -> int -> int -> int -> int -> t
    val blit : t -> int -> int -> t -> int -> int -> int -> int -> unit
    val map :
      (elt -> elt -> elt) ->
      t -> int -> int -> t -> int -> int -> int -> int -> unit
  end
module MakeRawImage :
  functor (E : ENCODE) ->
    sig
      module Encode :
        sig
          type t = Genimage.MakeRawImage(E).Encode.t
          val bytes_per_pixel : int
          val get : string -> int -> t
          val set : string -> int -> t -> unit
          val make : t -> string
        end
      type elt = E.t
      and bitmap = Genimage.MakeRawImage(E).bitmap
      and t =
        Genimage.MakeRawImage(E).t = {
        width : int;
        height : int;
        bitmap : bitmap;
      }
      val width : t -> int
      val height : t -> int
      val dump : t -> string
      val create_with : int -> int -> string -> t
      val create : int -> int -> t
      val make : int -> int -> elt -> t
      val unsafe_access : t -> int -> int -> string * int
      val get_strip : t -> int -> int -> int -> string
      val set_strip : t -> int -> int -> int -> string -> unit
      val get_scanline : t -> int -> string
      val set_scanline : t -> int -> string -> unit
      val unsafe_get : t -> int -> int -> elt
      val unsafe_set : t -> int -> int -> elt -> unit
      val get : t -> int -> int -> elt
      val set : t -> int -> int -> elt -> unit
      val destroy : t -> unit
      val copy : t -> t
      val sub : t -> int -> int -> int -> int -> t
      val blit : t -> int -> int -> t -> int -> int -> int -> int -> unit
      val map :
        (elt -> elt -> elt) ->
        t -> int -> int -> t -> int -> int -> int -> int -> unit
    end
module type CONTAINER =
  sig
    type container
    type rawimage
    val rawimage : container -> rawimage
    val create_default : int -> int -> rawimage -> container
    val create_duplicate : container -> int -> int -> rawimage -> container
  end
module type IMAGE =
  sig
    type t
    type elt
    val create : int -> int -> t
    val make : int -> int -> elt -> t
    val destroy : t -> unit
    val get : t -> int -> int -> elt
    val set : t -> int -> int -> elt -> unit
    val unsafe_get : t -> int -> int -> elt
    val unsafe_set : t -> int -> int -> elt -> unit
    val copy : t -> t
    val sub : t -> int -> int -> int -> int -> t
    val blit : t -> int -> int -> t -> int -> int -> int -> int -> unit
    val map :
      (elt -> elt -> elt) ->
      t -> int -> int -> t -> int -> int -> int -> int -> unit
    val dump : t -> string
    val unsafe_access : t -> int -> int -> string * int
    val get_strip : t -> int -> int -> int -> string
    val set_strip : t -> int -> int -> int -> string -> unit
    val get_scanline : t -> int -> string
    val set_scanline : t -> int -> string -> unit
  end
module Make :
  functor (RI : RAWIMAGE) ->
    functor
      (CON : sig
               type container
               type rawimage = RI.t
               val rawimage : container -> rawimage
               val create_default : int -> int -> rawimage -> container
               val create_duplicate :
                 container -> int -> int -> rawimage -> container
             end) ->
      sig
        type t = CON.container
        type elt = RI.elt
        val create : int -> int -> t
        val make : int -> int -> elt -> t
        val destroy : t -> unit
        val get : t -> int -> int -> elt
        val set : t -> int -> int -> elt -> unit
        val unsafe_get : t -> int -> int -> elt
        val unsafe_set : t -> int -> int -> elt -> unit
        val copy : t -> t
        val sub : t -> int -> int -> int -> int -> t
        val blit : t -> int -> int -> t -> int -> int -> int -> int -> unit
        val map :
          (elt -> elt -> elt) ->
          t -> int -> int -> t -> int -> int -> int -> int -> unit
        val dump : t -> string
        val unsafe_access : t -> int -> int -> string * int
        val get_strip : t -> int -> int -> int -> string
        val set_strip : t -> int -> int -> int -> string -> unit
        val get_scanline : t -> int -> string
        val set_scanline : t -> int -> string -> unit
      end
module type CONTAINER_INDEXED =
  sig
    type container
    type rawimage
    type mapelt
    val rawimage : container -> rawimage
    val create_default : int -> int -> rawimage -> container
    val create_duplicate : container -> int -> int -> rawimage -> container
    val colormap : container -> mapelt Color.map
  end
module type IMAGEINDEXED =
  sig
    type t
    type elt
    type mapelt
    val create : int -> int -> t
    val make : int -> int -> elt -> t
    val destroy : t -> unit
    val get : t -> int -> int -> elt
    val get_color : t -> int -> int -> mapelt
    val set : t -> int -> int -> elt -> unit
    val unsafe_get : t -> int -> int -> elt
    val unsafe_get_color : t -> int -> int -> mapelt
    val unsafe_set : t -> int -> int -> elt -> unit
    val copy : t -> t
    val sub : t -> int -> int -> int -> int -> t
    val blit : t -> int -> int -> t -> int -> int -> int -> int -> unit
    val map :
      (elt -> elt -> elt) ->
      t -> int -> int -> t -> int -> int -> int -> int -> unit
    val dump : t -> string
    val unsafe_access : t -> int -> int -> string * int
    val get_strip : t -> int -> int -> int -> string
    val set_strip : t -> int -> int -> int -> string -> unit
    val get_scanline : t -> int -> string
    val set_scanline : t -> int -> string -> unit
  end
module MakeIndexed :
  functor
    (RI : sig
            module Encode : ENCODE
            type elt = int
            and bitmap
            and t = { width : int; height : int; bitmap : bitmap; }
            val width : t -> int
            val height : t -> int
            val dump : t -> string
            val create_with : int -> int -> string -> t
            val create : int -> int -> t
            val make : int -> int -> elt -> t
            val unsafe_access : t -> int -> int -> string * int
            val get_strip : t -> int -> int -> int -> string
            val set_strip : t -> int -> int -> int -> string -> unit
            val get_scanline : t -> int -> string
            val set_scanline : t -> int -> string -> unit
            val unsafe_get : t -> int -> int -> elt
            val unsafe_set : t -> int -> int -> elt -> unit
            val get : t -> int -> int -> elt
            val set : t -> int -> int -> elt -> unit
            val destroy : t -> unit
            val copy : t -> t
            val sub : t -> int -> int -> int -> int -> t
            val blit :
              t -> int -> int -> t -> int -> int -> int -> int -> unit
            val map :
              (elt -> elt -> elt) ->
              t -> int -> int -> t -> int -> int -> int -> int -> unit
          end) ->
    functor
      (CON : sig
               type container
               type rawimage = RI.t
               type mapelt
               val rawimage : container -> rawimage
               val create_default : int -> int -> rawimage -> container
               val create_duplicate :
                 container -> int -> int -> rawimage -> container
               val colormap : container -> mapelt Color.map
             end) ->
      sig
        type t = CON.container
        type elt = int
        type mapelt = CON.mapelt
        val create : int -> int -> t
        val make : int -> int -> elt -> t
        val destroy : t -> unit
        val get : t -> int -> int -> elt
        val get_color : t -> int -> int -> mapelt
        val set : t -> int -> int -> elt -> unit
        val unsafe_get : t -> int -> int -> elt
        val unsafe_get_color : t -> int -> int -> mapelt
        val unsafe_set : t -> int -> int -> elt -> unit
        val copy : t -> t
        val sub : t -> int -> int -> int -> int -> t
        val blit : t -> int -> int -> t -> int -> int -> int -> int -> unit
        val map :
          (elt -> elt -> elt) ->
          t -> int -> int -> t -> int -> int -> int -> int -> unit
        val dump : t -> string
        val unsafe_access : t -> int -> int -> string * int
        val get_strip :