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