Make_distinct
is for blitting between values of distinct monomorphic types.
val blit : (src, dst) Base__.Blit_intf.blit
val blito : (src, dst) Base__.Blit_intf.blito
val unsafe_blit : (src, dst) Base__.Blit_intf.blit
val sub : (src, dst) Base__.Blit_intf.sub
val subo : (src, dst) Base__.Blit_intf.subo