Module ACSL.Darray


module Darray: Datatype.Make_with_collections(sig
include Datatype.Undefined
type t = Cil_types.typ * int 
val name : string
val reprs : (Cil_types.typ * int) list
val hash : Cil_datatype.Typ.t * int -> int
val equal : Cil_datatype.Typ.t * 'a -> Cil_datatype.Typ.t * 'a -> bool
val compare : 'a -> 'b -> int
val pretty : Format.formatter -> Cil_datatype.Typ.t * int -> 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