Tested : Base.Blit.S1 with type a t := a Sequence.t
Sequence : Sequence1 with type a elt := a Test_blit_intf.poly