Functor Blit_intf.Blit.Make_distinct

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:
Elt : Blit_intf.Elt
Src : Sequence with type elt := Elt.t
Dst : sig include Sequence with type elt := Elt.t val unsafe_blit : (Src.t, t) blit end

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