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 the Blit.Make
functor and the Test
functor.
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