Frama-C:
Plug-ins:
Libraries:

Frama-C API - Value

val compare : ('a -> 'a -> int) -> 'a value -> 'a value -> int
val equal : ('a -> 'a -> bool) -> 'a value -> 'a value -> bool
val sizeof : 'a value -> int
val pointed : 'a value -> 'a option
val merge : ('a -> 'a -> 'a) -> 'a value -> 'a value -> 'a value option