Module type Core_kernel__.Unit.S