Module E_ACSL.Logic_aggr

• returns

  the content of the array type if ty is an array, or None otherwise.

Represent the different types of aggregations.

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