module Test_generic : 
functor (Elt : sig .. end) ->
functor (Container : sig .. end) -> sig .. end with type t := 'a Container.t with type elt := 'a Elt.t
type 'a t
include Container.Generic with type t := 'a t
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
module Test_S1 : Test_generic(sig .. end)
include sig .. end
include sig .. end
include sig .. end
include sig .. end
include sig .. end
include sig .. end
include sig .. end