Module Core_set_intf

module Core_set_intf: sig .. end

include Core_kernel.Core_set_intf