sig
  type 'a t =
    'a It_type.IT.Subarray.C.t = private {
    arr : 'a array;
    ofs : int;
    len : int;
  }
  val empty : 'a It_type.IT.S.C.t
  val mk : arr:'a array -> ofs:int -> len:int -> 'a It_type.IT.S.C.t
end