sig
  type t = Ctypes.arrayinfo
  val compare : Ctypes.AinfoComparable.t -> Ctypes.AinfoComparable.t -> int
  val equal : Ctypes.AinfoComparable.t -> Ctypes.AinfoComparable.t -> bool
  val hash : Ctypes.AinfoComparable.t -> int
end