sig
val get_array_typ_opt :
Cil_types.typ ->
(Cil_types.typ * Cil_types.exp option * Cil_types.bitsSizeofTypCache *
Cil_types.attributes)
option
type t = StructOrUnion | Array | NotAggregate
val get_t : Cil_types.typ -> Logic_aggr.t
end