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