Module type Core_kernel__Unit.S