Module type Core_kernel__.Interfaces.Unit