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