package frama-c

  1. Overview
  2. Docs

Module API.EdgeLabelSource

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