Module Oredoc.Meta_result (.ml)

module Meta_result: sig .. end

type ('a, 'b) t = {

	`result : 'a;`
	`more_things_todo : 'b list;`

}

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