Module type Core_kernel.Interfaces.Unit