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