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 = [
| `Top
type 'a or_top_bottom = [
module Bottom : sig ... end
module Top : sig ... end
module TopBottom : sig ... end