Key
Keys identifying datatypes.
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