module Make: functor (RI : Image_intf.RAWIMAGE) -> functor (CON : CONTAINER with type rawimage = RI.t) -> IMAGE with type t = CON.container and type elt = RI.elt
functor (
RI
:
Image_intf.RAWIMAGE
) ->
CON
CONTAINER
with type rawimage = RI.t
IMAGE
with type t = CON.container and type elt = RI.elt
CONTAINER with type rawimage = RI.t