sig
  type 'a t
  val make : '-> 'CamlinternalMenhirLib.InfiniteArray.t
  val get : 'CamlinternalMenhirLib.InfiniteArray.t -> int -> 'a
  val set : 'CamlinternalMenhirLib.InfiniteArray.t -> int -> '-> unit
  val extent : 'CamlinternalMenhirLib.InfiniteArray.t -> int
  val domain : 'CamlinternalMenhirLib.InfiniteArray.t -> 'a array
end