Module type Core_kernel__Interfaces.Unit