Frama-C API - `Key_Location`

Keys module for the abstract locations of Eva.

type 'a key

val create_key : string -> 'a key

val eq_type : 'a key -> 'b key -> ('a, 'b) eq option

val name : 'a key -> string

val print : 'a key Frama_c_kernel.Pretty_utils.formatter

val compare : 'a key -> 'b key -> int

val equal : 'a key -> 'b key -> bool

val hash : 'a key -> int

val tag : 'a key -> int

Frama-C API - Key_Location