Frama-C:
Plug-ins:
Libraries:

Frama-C API - Flagged_Value

val bottom : 'a flagged_value
val equal : ('a -> 'a -> bool) -> 'a flagged_value -> 'a flagged_value -> bool
val join : ('a -> 'a -> 'a) -> 'a flagged_value -> 'a flagged_value -> 'a flagged_value
val pretty : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a flagged_value -> unit