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