package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Layout.Value`Source

Sourceval compare : ('a -> 'a -> int) -> 'a value -> 'a value -> int

Sourceval 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

Sourceval sizeof : 'a value -> int

Sourceval pointed : 'a value -> 'a option

Sourceval merge : ('a -> 'a -> 'a) -> 'a value -> 'a value -> 'a value option