Module Substring

module Substring: Substring

include Make_substring.S