Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mode

type t =
  1. | Abs_From_Rel
  2. | Rel_From_Abs
  3. | No_Interaction
  4. | With_Interactions

Those constructors corresponds to the possible values of the option -eva-numerors-mode

val get : unit -> t