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