T (rosetta_lib.Rosetta_lib.Validation.T)

type ('a, 'b) t = ( 'a, 'b list ) Core_kernel.Result.t

val map : 
  [> `Custom of
       ( 'a, 'b ) Core_kernel.Result.t ->
       f:( 'a -> 'c ) ->
       ( 'c, 'b ) Core_kernel.Result.t ]

val return : 'a -> ( 'b, 'c ) Core_kernel.Result.t

val fail : 'a -> ( 'b, 'c list ) Core_kernel.Result.t

val apply : 
  ( 'a -> 'b, 'c Base__List.t ) Core_kernel._result ->
  ( 'd, 'c Base__List.t ) Core_kernel._result ->
  ( 'e, 'c Base__List.t ) Core_kernel._result