Module Lattice_bounds

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