Module Logic_aggr

module Logic_aggr: sig .. end

Utilities function for aggregate types.

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

Represent the different types of aggregations.

val get_t : Cil_types.typ -> t

get_t ty returns Array if ty is an array type, StructOrUnion if ty is a struct or an union type and NotAggregate otherwise.