module MakeIndexed: functor (RI : RAWIMAGE with type elt = int) -> functor (CON : CONTAINER_INDEXED with type rawimage = RI.t) -> IMAGEINDEXED with type t = CON.container and type elt = int and type mapelt = CON.mapelt
functor (
RI
:
RAWIMAGE
with type elt = int
) ->
CON
CONTAINER_INDEXED
with type rawimage = RI.t
IMAGEINDEXED
with type t = CON.container and type elt = int and type mapelt = CON.mapelt
RAWIMAGE with type elt = int
CONTAINER_INDEXED with type rawimage = RI.t