package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Utilities function for aggregate types.

  • returns

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

type t =
  1. | StructOrUnion
  2. | Array
  3. | NotAggregate

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.