Module type Core_kernel.Unit.S