module Region:sig..end
check width height x y checks whether the point (x,y) is in the
region of (0, 0) - (width - 1, height - 1).
If not, it raises Images.Out_of_image.val check : int -> int -> int -> int -> unitcheck width height x y checks whether the point (x,y) is in the
region of (0, 0) - (width - 1, height - 1).
If not, it raises Images.Out_of_image.val error : (unit -> unit) Pervasives.ref