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.bitsSizeofTypCache *
Cil_types.attributes)
option
ty
is an array, or None
otherwise.
the content of the array type if ty
is an array, or None
otherwise.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.