module Darray:Datatype.Make_with_collections
(
sig
include Datatype.Undefinedtypet =
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