Module type Core_kernel__.T.T2