Module Core_int

module Core_int: sig .. end

include Core_kernel.Core_int