module Container_unit_tests:sig
..end
module Test_generic:functor (
Elt
:
sig
type
'a
tval of_int :int -> int t
val to_int :int t -> int
end
) ->
functor (
Container
:
sig
type
'a
tinclude Generic
val of_list :'a Elt.t list -> '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
end
) ->
sig
..end
module Test_S1:Test_generic
(
sig
type'a
t ='a
val of_int :'a -> 'a
val to_int :'a -> 'a
end
)
include struct ... end
include struct ... end
include struct ... end
include struct ... end
include struct ... end
include struct ... end
include struct ... end