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