Module Substring_intf

module Substring_intf: sig .. end

include Core_kernel.Substring_intf