module Meta_result:sig
..end
type ('a, 'b)
t = {
|
result : |
|
more_things_todo : |
val return : ?more_things_todo:'a list -> 'b -> ('b, 'a) t
val bind : ('a, 'b) t ->
f:('a -> ('c, 'b) t) -> ('c, 'b) t
val (>>=) : ('a, 'b) t ->
('a -> ('c, 'b) t) -> ('c, 'b) t