Module Abstract_interp.Bot

module Bot: sig .. end

type 'a or_bottom = [ `Bottom | `Value of 'a ] 
val non_bottom : 'a or_bottom -> 'a
val join_or_bottom : ('a -> 'a -> 'a) ->
'a or_bottom ->
'a or_bottom -> 'a or_bottom