sig
val ( >>- ) :
[< 'a Lattice_bounds.TopBottom.t ] ->
('a -> ([> 'b Lattice_bounds.TopBottom.t ] as 'c)) -> 'c
val ( >>-: ) :
[< 'a Lattice_bounds.TopBottom.t ] ->
('a -> 'b) -> [> 'b Lattice_bounds.TopBottom.t ]
val ( let+ ) :
[< 'a Lattice_bounds.TopBottom.t ] ->
('a -> 'b) -> [> 'b Lattice_bounds.TopBottom.t ]
val ( and+ ) :
[< 'a Lattice_bounds.TopBottom.t ] ->
[< 'b Lattice_bounds.TopBottom.t ] ->
[> ('a * 'b) Lattice_bounds.TopBottom.t ]
val ( let* ) :
[< 'a Lattice_bounds.TopBottom.t ] ->
('a -> ([> 'b Lattice_bounds.TopBottom.t ] as 'c)) -> 'c
val ( and* ) :
[< 'a Lattice_bounds.TopBottom.t ] ->
[< 'b Lattice_bounds.TopBottom.t ] ->
[> ('a * 'b) Lattice_bounds.TopBottom.t ]
end