Mm.ImageCanvasmodule type CanvasImage = sig ... endmodule Canvas (I : CanvasImage) : sig ... endA canvas of images. The structure is immutable but its elements might be returned and therefore should not be used in place.
module CanvasYUV420 : sig ... end