Module ACSL.Tarray


module Tarray: Datatype.Make_with_collections(sig
include Datatype.Undefined
type t = 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