Module type Test_blit_intf.Test_blit
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 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 theBlit.Make
functor and theTest
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