EdgeLabel
type t =
| Pointer
| 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
Frama-C