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