Module Type_generic_intf

module Type_generic_intf: sig .. end

module M: 
functor (X : sig
type 'a t 
end) -> sig .. end
module type S = sig .. end