val catch : ('a -> 'b) -> 'a -> ('b, exn) tval catch2 : ('a -> 'b -> 'c) -> 'a -> 'b -> ('c, exn) tval catch3 : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c -> ('d, exn) tval get : ('a, exn) t -> 'aval default : 'a -> ('a, 'b) t -> 'aval map_default : 'b -> ('a -> 'b) -> ('a, 'c) t -> 'bval is_ok : ('a, 'b) t -> boolval is_bad : ('a, 'b) t -> boolval is_exn : exn -> ('a, exn) t -> boolval of_option : 'a option -> ('a, unit) tval to_option : ('a, 'b) t -> 'a optionmodule Monad : sig ... endmodule Infix : sig ... endval print :
('b BatInnerIO.output -> 'a -> unit) ->
'b BatInnerIO.output ->
('a, exn) t ->
unit