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