Module type Core_kernel.Unit