Module Frama_c_alarms.Location

type t =

1. | Transition of Frama_c_kernel.Cil_types.kinstr
2. | Join of Frama_c_kernel.Cil_types.kinstr * Frama_c_kernel.Cil_types.kinstr
3. | Return

val kinstr_loc : Frama_c_kernel.Cil_types.kinstr -> Frama_c_kernel.Cil_types.location

val pretty : Stdlib.Format.formatter -> t -> unit

val hash : t -> int

val compare : t -> t -> int

val equal : t -> t -> bool