module Container: Container
val __pa_ounit_275876e34cf609db118f3d84b799a790 : string
module type T = sig
.. end
val fold_count : ('a -> init:int -> f:(int -> 'b -> int) -> 'c) -> 'a -> f:('b -> bool) -> 'c
module Make: functor (
T
:
T
) ->
sig
.. end
module type S0 = sig
.. end
module type S0_phantom = sig
.. end
module type S1 = sig
.. end
module type S1_phantom = sig
.. end
module type Generic = sig
.. end
module type Generic_phantom = sig
.. end
module Check: functor (
T
:
T.T1
) ->
functor (
Elt
:
T.T1
) ->
functor (
M
:
Generic
with type 'a t := 'a T.t
with type 'a elt := 'a Elt.t
) ->
sig
.. end
module Check_S0: functor (
M
:
S0
) ->
Check
(
sig
end
)
(
sig
end
)
(
M
)
module Check_S0_phantom:
module Check_S1: functor (
M
:
S1
) ->
Check
(
sig
end
)
(
sig
end
)
(
M
)
type
phantom
module Check_S1_phantom: