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