module type OUTCOME = sig .. end
sig
end
type ('a, 'b) t =
('a, 'b)
|
Good of 'a
'a
Bad of 'b
'b
val wrap : ('a -> 'b) -> 'a -> ('b, exn) t
('a -> 'b) -> 'a -> ('b, exn) t
val ignore_good : ('a, exn) t -> unit
('a, exn) t -> unit
val good : ('a, exn) t -> 'a
('a, exn) t -> 'a