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

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

type t =

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.