sig
  type 'a t = 'a Subarray_cat.t
  val make : 'a It_type.IT.Subarray.t list -> 'a It_type.IT.SC.t
  val length : 'a It_type.IT.SC.t -> int
  val get : 'a It_type.IT.SC.t -> int -> 'a
  val sub_copy_out :
    ?ofs:int -> ?len:int -> 'a It_type.IT.SC.t -> 'a It_type.IT.Subarray.t
  val append :
    'a It_type.IT.SC.t -> 'a It_type.IT.Subarray.t -> 'a It_type.IT.SC.t
end