Module type Type_generic_intf.S

module type S = sig .. end

type 'a t 
include ??