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