module Tarray:Datatype.Make_with_collections
(
sig
include Datatype.Undefinedtypet =
Cil_types.typ * int option list
val name :string
val reprs :(Cil_types.typ * 'a list) list
val pp_hash_dim :int -> int option -> int
val hash :Cil_datatype.Typ.t * int option list -> int
val equal :Cil_datatype.Typ.t * 'a -> Cil_datatype.Typ.t * 'a -> bool
val compare :'a -> 'b -> int
val pp_dim :Format.formatter -> int option -> unit
val pretty :Format.formatter -> Cil_datatype.Typ.t * int option list -> unit
end
)
include Datatype.S
module Set:Datatype.Set
with type elt = t
module Map:Datatype.Map
with type key = t
module Hashtbl:Datatype.Hashtbl
with type key = t