module M: functor (X : sig type 'a t end) -> sig .. end
functor (
X
:
sig
type 'a t
'a
end) -> sig .. end
end
) ->
sig type 'a t end
module type S0 = sig .. end
module type S1 = sig .. end
module type S2 = sig .. end
module type S3 = sig .. end
module type S4 = sig .. end
module type S5 = sig .. end