Module Substring_intf

module Substring_intf: sig .. end
create ?pos ?len base creates a substring of the base sequence of * length len starting at position pos, i.e. * * base.pos, base.pos + 1, ... base.pos + len - 1 * * It is required that: * 0 <= pos * 0 <= len * pos + len <= length base * * It does not copy the characters.

module type S = sig .. end

create ?pos ?len base creates a substring of the base sequence of * length len starting at position pos, i.e. * * base.pos, base.pos + 1, ... base.pos + len - 1 * * It is required that: * 0 <= pos * 0 <= len * pos + len <= length base * * It does not copy the characters.