Module Frama_c_kernel.Lattice_bounds

Types, monads and utilitary functions for lattices in which the bottom and/or the top are managed separately from other values.

type 'a or_bottom = [
| `Value of 'a
| `Bottom
]
type 'a or_top = [
| `Value of 'a
| `Top
]
type 'a or_top_bottom = [
| `Value of 'a
| `Bottom
| `Top
]
module Bottom : sig ... end
module Top : sig ... end
module TopBottom : sig ... end