Base_for_tests.Test_blitinclude Test_blit_intf.Test_blitmodule type Elt = Test_blit_intf.Eltmodule type Elt1 = Test_blit_intf.Elt1module type Sequence = Test_blit_intf.Sequencemodule type Sequence1 = Test_blit_intf.Sequence1module Test1 (Sequence : Sequence1 with type 'a elt := 'a Test_blit_intf.poly) (Tested : Base.Blit.S1 with type 'a t := 'a Sequence.t) : sig ... endmodule Test1_generic (Elt : Elt1) (Sequence : Sequence1 with type 'a elt := 'a Elt.t) (Tested : Base.Blit.S1 with type 'a t := 'a Sequence.t) : sig ... endmodule Make_and_test (Elt : Elt) (Sequence : sig ... end) : Base.Blit.S with type t := Sequence.tMake_and_test uses the Blit.Make functor and the Test functor.
module Make1_and_test (Sequence : sig ... end) : Base.Blit.S1 with type 'a t := 'a Sequence.tmodule Make1_generic_and_test (Elt : Elt1) (Sequence : sig ... end) : Base.Blit.S1 with type 'a t := 'a Sequence.t