Base_for_tests__Test_blit (core_kernel.base_for_tests.Base_for_tests__Test

include Base_for_tests.Test_blit_intf.Test_blit

module type Elt = Base_for_tests.Test_blit_intf.Elt

module type Elt1 = Base_for_tests.Test_blit_intf.Elt1

module type Sequence = Base_for_tests.Test_blit_intf.Sequence

module type Sequence1 = Base_for_tests.Test_blit_intf.Sequence1

module Test : functor (Elt : Elt) -> functor (Sequence : Sequence with type elt := Elt.t) -> functor (Tested : Base.Blit.S with type t := Sequence.t) -> sig ... end

module Test_distinct : functor (Elt : Elt) -> functor (Src : Sequence with type elt := Elt.t) -> functor (Dst : Sequence with type elt := Elt.t) -> functor (Tested : Base.Blit.S_distinct with type src := Src.t with type dst := Dst.t) -> sig ... end

module Test1 : functor (Sequence : Sequence1 with type a elt := a Base_for_tests.Test_blit_intf.poly) -> functor (Tested : Base.Blit.S1 with type a t := a Sequence.t) -> sig ... end

module Test1_generic : functor (Elt : Elt1) -> functor (Sequence : Sequence1 with type a elt := a Elt.t) -> functor (Tested : Base.Blit.S1 with type a t := a Sequence.t) -> sig ... end

module Make_and_test : functor (Elt : Elt) -> functor (Sequence : sig ... end) -> Base.Blit.S with type t := Sequence.t

Make_and_test uses the Blit.Make functor and the Test functor.

module Make_distinct_and_test : functor (Elt : Elt) -> functor (Src : Sequence with type elt := Elt.t) -> functor (Dst : sig ... end) -> Base.Blit.S_distinct with type src := Src.t with type dst := Dst.t

module Make1_and_test : functor (Sequence : sig ... end) -> Base.Blit.S1 with type a t := a Sequence.t

module Make1_generic_and_test : functor (Elt : Elt1) -> functor (Sequence : sig ... end) -> Base.Blit.S1 with type a t := a Sequence.t