Up
Module
Make_distinct
(
Elt
:
Blit_intf.Elt
) (
Src
:
Blit_intf.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
:
Blit_intf.Elt
Src
:
Blit_intf.Sequence
with
type
elt
:=
Elt.t
Dst
: sig .. end
Signature
type
src
type
dst
val
blit : (
src
,
dst
)
Blit_intf.blit
val
blito : (
src
,
dst
)
Blit_intf.blito
val
unsafe_blit : (
src
,
dst
)
Blit_intf.blit
val
sub : (
src
,
dst
)
Blit_intf.sub
val
subo : (
src
,
dst
)
Blit_intf.subo