sig
  type ('a, 'b) t =
      src:'-> src_pos:int -> dst:'-> dst_pos:int -> len:int -> unit
  val string_string : (string, string) Make_substring.??.t
  val bigstring_string :
    (Make_substring.bigstring, string) Make_substring.??.t
  val string_bigstring :
    (string, Make_substring.bigstring) Make_substring.??.t
  val bigstring_bigstring :
    (Make_substring.bigstring, Make_substring.bigstring) Make_substring.??.t
end