Tested : Base.Blit.S_distinct with type src := Src.t with type dst := Dst.t
Dst : Sequence with type elt := Elt.t
Src : Sequence with type elt := Elt.t
Elt : Elt