Tested : Base.Blit.S1 with type a t := a Sequence.t
Sequence : Sequence1 with type a elt := a Elt.t
Elt : Elt1