Functor Type_generic_intf.M

module M: 
functor (X : sig
type 'a t 
end) -> sig .. end
Parameters:
X : 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