Up
Module
Make_distinct
(
Elt
:
Elt
) (
Src
:
Sequence
with
type
elt
:=
Elt.t
) (
Dst
: sig .. end) :
S_distinct
with
type
src
:=
Src.t
with
type
dst
:=
Dst.t
Make_distinct
is for blitting between values of distinct monomorphic types.
Parameters
Elt
:
Elt
Src
:
Sequence
with
type
elt
:=
Elt.t
Dst
: sig .. end
Signature
type
src
type
dst
val
blit : (
src
,
dst
)
blit
val
blito : (
src
,
dst
)
blito
val
unsafe_blit : (
src
,
dst
)
blit
val
sub : (
src
,
dst
)
sub
val
subo : (
src
,
dst
)
subo