Layout.Value
val compare : ('a -> 'a -> int) -> 'a value -> 'a value -> int
val equal : ('a -> 'a -> bool) -> 'a value -> 'a value -> bool
val pretty : 'a Frama_c_kernel.Pretty_utils.formatter -> 'a value Frama_c_kernel.Pretty_utils.formatter
val sizeof : 'a value -> int
val pointed : 'a value -> 'a option
val merge : ('a -> 'a -> 'a) -> 'a value -> 'a value -> 'a value option