type ('good, 'bad) t = ( 'good, 'bad ) Stdlib.result = | Ok of 'good |
| Error of 'bad |
val return : 'good -> ( 'good, 'bad ) tval map : ( 'a -> 'b ) -> ( 'a, 'err ) t -> ( 'b, 'err ) tval map_err : ( 'err1 -> 'err2 ) -> ( 'a, 'err1 ) t -> ( 'a, 'err2 ) tval combine_l :
( 'a, 'e ) Stdlib.result list ->
( 'a list, 'e list ) Stdlib.resultmodule Infix : sig ... end