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