Module Std_kernel.Substring

module Substring: Substring

include Make_substring.S