Module type Core_kernel.T