module Make_distinct:functor (
Elt
:
Blit_intf.Elt
) ->
functor (
Src
:
Blit_intf.Sequence
with type elt := Elt.t
) ->
functor (
Dst
:
sig
include Blit_intf.Sequence
val unsafe_blit :(Src.t, t) Blit_intf.blit
end
) ->
S_distinct
with type src := Src.t
with type dst := Dst.t
Make_distinct
is for blitting between values of disinct monomorphic types.Parameters: |
|
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