Make_distinct is for blitting between values of distinct monomorphic types.
Make_distinct
Dst : sig ... end
Src : Sequence
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