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