Module Lattice_bounds.TopBottom

module TopBottom: sig .. end

type 'a t = 'a Lattice_bounds.or_top_bottom 

module Operators: sig .. end

val hash : ('a -> int) -> 'a t -> int

val equal : ('a -> 'a -> bool) ->
       'a t -> 'a t -> bool

val compare : ('a -> 'a -> int) ->
       'a t -> 'a t -> int

val pretty : (Stdlib.Format.formatter -> 'a -> unit) ->
       Stdlib.Format.formatter -> 'a t -> unit

val join : ('a -> 'a -> [< 'a t ]) ->
       'a t ->
       'a t -> 'a t

val narrow : ('a -> 'a -> [< 'a t ]) ->
       'a t ->
       'a t -> 'a t