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