Module Int_intf

module Int_intf: sig .. end

include Core_kernel.Int_intf