Frama-C:
Plug-ins:
Libraries:

Frama-C API - EdgeLabel

type t =
  1. | Pointer
  2. | Field of Frama_c_kernel.Cil_types.fieldinfo
val compare : t -> t -> int
val default : t
val is_pointer : t -> bool
val is_field : t -> bool
val pretty : Stdlib.Format.formatter -> t -> unit