Frama-C API - `Value`

type t

val name : string

val hash : t -> int

val equal : t -> t -> bool

val compare : t -> t -> int

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

val of_bit : typ:Frama_c_kernel.Cil_types.typ -> Abstract_memory.bit -> t

val to_bit : t -> Abstract_memory.bit

val to_integer : t -> Frama_c_kernel.Z.t option

val is_included : t -> t -> bool

val join : t -> t -> t

Frama-C API - Value