Caml1999I031 8R`?.Stdlib__Either!t8!a@!b@@B$Left @@*either.mlix  x  @@A%Right @@ x   x  @@&B@@A@YY@@@@@@x  @@@@-@A@$left@!a@8!b@@@@@@@+| G G,| G b@@FC@%right@!b@!a@ @@@@@@C  D  @@^D@'is_left@-!a@!b@@@@$boolE@@@@@@aB  bB  @@|E@(is_right@K!a@!b@@@@@@@@@@}E % %~E % F@@F@)find_left @g!a@!b@@@@&optionJ@@@@@@H  H  @@G@*find_right!@!a@!b@@@@ @@@@@@K  K  )@@H@(map_left"@@"a1@"a2@@@@ !b@@@@ @@@@@@@@N v vN v @@I@)map_right#@@"b1@"b2@@@@Ԡ!a@@@@ݠ @@@@@@@@R  R  E@@J@#map$$left@"a1@"a2@@@%right@"b1@"b2@@@@ @@@@@@@@@@@@@4V  5W  @@OK@$fold%$left@!a@!c@@@%right@!b@@@@6 @@@@@@@@@@\[ff][f@@wL@$iter&$left@!a@$unitF@@@@@%right@!b@@@@@@@d@@@@@@@@@@@@@__W@@M@'for_all'$left@!a@F@@@@@%right@!b@T@@@@@@@@@_@@@@@@@@@@cc @@N@%equal($left@!a@@x@@@@@@@%right@!b@@@@@@@@@@Ƞ@@@@Ϡ&@@@@@@@@@@@@@@@gvvi@@O@'compare)$left@!a@@#intA@@@@@@@%right@!b@@@@@@@@@@!@@@@ (@@@$@@@@@@@@@@@@6n7p@@QP@@l:..Stdlib__Either0 }rCT0J){9)&Stdlib0>,W:(8CamlinternalFormatBasics0cEXy ('b, 'c) Either.t) -> 'a list -> 'b list * 'c list]} If you are looking for a parametrized type where one alternative means success and the other means failure, you should use the more specific type {!Result.t}. @since 4.12 *either.mliP77d@@@@@@0@@@@@@%arrayH8@@M@A@A@@@@@@8@@@$boolE8@@%false^@@B@$true_@@H@@@A@@@@@I@A@$charB8@@@A@@@@@M@A@#exnG8@@AA@@@@@Q@@@5extension_constructorP8@@@A@@@@@U@@@%floatD8@@@A@@@@@Y@@@*floatarrayQ8@@@A@@@@@]@@@#intA8@@@A@@@@@a@A@%int32L8@@@A@@@@@e@@@%int64M8@@@A@@@@@i@@@&lazy_tN8@@O@A@A@Y@@@@@r@@@$listI8@@P@A"[]a@@@"::b@@@Q@@@ @@A@Y@@@@@@@@)nativeintK8@@@A@@@@@@@@&optionJ8@@S@A$Nonec@@@$Somed@@@@@A@Y@@@@@@@@&stringO8@@@A@@@@@@@@$unitF8@@"()`@@@@@A@@@@@@A@ .Assert_failure\ p@@@@Jm@@@@@@V@@A͠=ocaml.warn_on_literal_patternѐ@@0Division_by_zeroY @@@Aנ  @+End_of_fileX !@@@Aߠ@'FailureU )@%@@A蠰@0Invalid_argumentT 2@.@@A񠰠$#@-Match_failureR ;@:67@@\@@A21@ )Not_foundV I@@@A: 9 @-Out_of_memoryS Q@@@ABA@.Stack_overflowZ Y@@@AJI@.Sys_blocked_io[ a@@@AR"Q"@)Sys_errorW i@e@@A([+Z+@:Undefined_recursive_module] r@qmn@@c@@A6i9h9@ %bytesC8@@@A@@@@@=@@@&Stdlib@A6A(!t A>x  ?x  @А!a@0EDDEEEEE@D8@@@@@B@A@GG@BB@@@Vx  Wx  @)ocaml.doch X A value of [('a, 'b) Either.t] contains either a value of ['a] or a value of ['b] ey  fz  E@@@@@@@@@}@@Aix  jx  @@BAА!b@,ux  vx  @@ @84 @B$Left >C@@@x  x  @@A%Right C@@@x  :@@B@@A@YY@@@@@@A>@@/@x  @@А!a Yx  @@@@ @x  x  @@А!b!fx  Y@@@@!@@A@[X@[Z@$left | G K| G O@б@А!a@B@0@P@A| G R| G T@@г!t| G a| G b@А!a| G Y| G [@@А!b@B@| G ]| G _@@@) @@@&| G X@@@/ @@*(@@@| G G!@7 [left v] is [Left v]. } c c} c @@@@@@@C@0@=%right      @б@А!b@B@0@Rc(@A    @@г䠐!t"  #  @А!a@B@.  /  @@А!b#5  6  @@@*@@@&=  @@@/ @@*(@@@C  !@쐠9 [right v] is [Right v]. O@  P@  @@@@@@@gD@0@='is_left[B  \B  @б@г(!tfB  gB  @А!a@B@0nmmnnnnn@\m2@AtB  uB  @@А!b@B@B  B  @@@# @@@B  "@@г_$boolB  B  @@ @@@$@@@@@'@@@B   @D ? [is_left (Left v)] is [true], [is_left (Right v)] is [false]. C  C  #@@@@@@@E@@:(is_rightE % )E % 1@б@г!tE % =E % >@А!a@B@0@Yt2@AE % 5E % 7@@А!b@B@E % 9E % ;@@@# @@@E % 4"@@г$boolE % BE % F@@ @@@$@@@@@'@@@E % % @ A [is_right (Left v)] is [false], [is_right (Right v)] is [true]. F G GF G @@@@@@@F@@:)find_left H   H  @б@гؠ!tH  H  @А!a@B@0@Yt2@A$H  %H  @@А!b@B@0H  1H  @@@# @@@8H  "@@г&option@H  AH  @А!a*%GH  HH  @@@0@@@, @@@@@/@@@SH  @ C [find_left (Left v)] is [Some v], [find_left (Right _)] is [None] _I  `I  @@@@@@@wG@"@B*find_rightkK  lK  @б@г8!tvK  wK  @А!a@B@0~}}~~~~~@a|2@AK  K  @@А!b@B@K  K  @@@# @@@K  "@@г&optionK  #K  )@А!b%K  K  "@@@"@@@, @@@@@/@@@K  @\ E [find_right (Right v)] is [Some v], [find_right (Left _)] is [None] L * *L * t@@@@@@@H@"@B(map_leftN v zN v @б@б@А"a1@B@0@Yt*@AN v N v @@А"a2@B@ N v N v @@@ @@@@б@г!tN v N v @А"a1'"N v N v @@А!b@B@.N v  N v @@@9 @@@6N v @@гڠ!tN v N v @А"a2=EN v  N v @@А!b#L&N v 'N v @@@J*@@@T.N v @@@' @@X"@@@K@@[5N v @@@8N v v @ᐠ T [map_left f e] is [Left (f v)] if [e] is [Left v] and [e] if [e] is [Right _]. DO  EP  @@@@@@@\I@/@o)map_rightPR  QR  @б@б@А"b1@B@0[ZZ[[[[[@*@AaR  bR  @@А"b2@B@ lR  #mR  &@@@ @@@@б@гW  ?W  @А"a2W_EW  FW  @@А"b2?fLW  MW  @@@dF@@@!nTW  @@@' @@"r"@@`F@@#u[W  @@i@@$y_W  !@@@bV  $@ h [map ~left ~right (Left v)] is [Left (left v)], [map ~left ~right (Right v)] is [Right (right v)]. nX  oY+d@@@@@@@K@3@$foldz[fj{[fn@б$leftб@А!a@9B@-0@,@A[fw[fy@@А!c@=B@. [f}[f@@@ @@/@@б%rightб@А!b@;B@0![f[f@@А!c'[f[f@@@$@@1, @@б@г!t[f[f@А!aA<[f[f@@А!b'C[f[f@@@N.@@@4K[f@@А!cHP[f[f@@@M@@5U @@C.@@6X[f@@hL@@7\[fq @@@[ff@ _ [fold ~left ~right (Left v)] is [left v], and [fold ~left ~right (Right v)] is [right v]. \] @@@@@@@L@@p$iter__@б$leftб@А!a@LB@>0@,@A_ _"@@гw$unit_&_*@@ @@@?@@@@@@@@б%rightб@А!b@NB@A#6_67_8@@г$unit?_<@_@@@ @@@B2@@@@@C5@@б@г!tQ_NR_O@А!aJEX_FY_H@@А!b.L__J`_L@@@W5@@@FTg_E@@гȠ$unito_Sp_W@@ @@@Gb@@@@@He@@Q5@@Ih{_/ @@xZ@@Jl_@@@_@+ _ [iter ~left ~right (Left v)] is [left v], and [iter ~left ~right (Right v)] is [right v]. `XXa@@@@@@@M@"@'for_allcc@б$leftб@А!a@]B@O0@,@Acc@@г$boolcc@@ @@@P@@@@@Q@@б%rightб@А!b@_B@R#cc@@г$boolcc@@ @@@S2@@@@@T5@@б@г!tcc@А!aJEcc@@А!b.Lcc@@@W5@@@WTc@@г֠$boolcc @@ @@@Xb@@@@@Ye@@Q5@@Zhc @@xZ@@[lc@@@c@Ð e [for_all ~left ~right (Left v)] is [left v], and [for_all ~left ~right (Right v)] is [right v]. &d  'e?t@@@@@@@>N@"@%equal2gvz3gv@б$leftб@А!a@tB@`0?>>?????@,@AEhFh@@б@А!a MhNh@@г%$boolVhWh@@ @@@a@@@!@@b@@@$@@c @@б%rightб@А!b@vB@d.qhrh@@б@А!b 6yhzh@@гQ$boolhh@@ @@@eE@@@@@fH@@@"@@gK @@б@гY!tii@А!a`[ii@@А!b9bii@@@m@@@@jji@@б@гy!tii@А!a{ii@@А!bYii@@@`@@@mi@@г$boolii@@ @@@n@@@@@o@@@9@@p4 @@X@@qh@@@@rh@@@gvv@ [equal ~left ~right e0 e1] tests equality of [e0] and [e1] using [left] and [right] to respectively compare values wrapped by [Left _] and [Right _]. jlq@@@@@@@O@%@'comparenn@б$leftб@А!a@B@w0@,@Aoo@@б@А!a oo@@гѠ#int'o(o@@ @@@x@@@!@@y@@@$@@z @@б%rightб@А!b@B@{.BoCo@@б@А!b 6JoKo@@г#intSoTo@@ @@@|E@@@@@}H@@@"@@~K @@б@г*!thpip@А!a`[oppp@@А!b9bvpwp@@@m@@@@j~p@@б@гJ!tpp@А!a{pp@@А!bYpp@@@`@@@p@@гP#intpp@@ @@@@@@@@@@@9@@4 @@X@@o@@@@o@@@n@e [compare ~left ~right e0 e1] totally orders [e0] and [e1] using [left] and [right] to respectively compare values wrapped by [Left _ ] and [Right _]. [Left _] values are smaller than [Right _] values. qs@@@@@@@P@%@@WA@@@};@'@@s)@@#@@l@d@P@@0@@0@2@A@ H************************************************************************A@@A@L@ H BMMBM@ H OCaml CC@ H  D D3@ H Gabriel Scherer, projet Parsifal, INRIA Saclay  E44 E4@ H  F F@ H Copyright 2019 Institut National de Recherche en Informatique et  G G@ H en Automatique.  H Hg@ H  Ihh !Ih@ H All rights reserved. This file is distributed under the terms of  &J 'J@ H the GNU Lesser General Public License version 2.1, with the  ,K -KN@ H special exception on linking described in the file LICENSE.  2LOO 3LO@ H  8M 9M@ H************************************************************************ >N ?N5@ * Either type. Either is the simplest and most generic sum/variant type: a value of [('a, 'b) Either.t] is either a [Left (v : 'a)] or a [Right (v : 'b)]. It is a natural choice in the API of generic functions where values could fall in two different cases, possibly at different types, without assigning a specific meaning to what each case should be. For example: {[List.partition_map: ('a -> ('b, 'c) Either.t) -> 'a list -> 'b list * 'c list]} If you are looking for a parametrized type where one alternative means success and the other means failure, you should use the more specific type {!Result.t}. @since 4.12  D  Unlike [result], no [either] type is made available in Stdlib, one needs to access [Either.t] explicitly: - This type is less common in typical OCaml codebases, which prefer domain-specific variant types whose constructors carry more meaning. - Adding this to Stdlib would raise warnings in existing codebases that already use a constructor named Left or Right: + when opening a module that exports such a name, warning 45 is raised + adding a second constructor of the same name in scope kicks in the disambiguation mechanisms, and warning 41 may now be raised by existing code. If the use becomes more common in the future we can always revisit this choice.  Gf Hv  @!* Mx   Nx  @ Y* A value of [('a, 'b) Either.t] contains either a value of ['a] or a value of ['b] 8* [left v] is [Left v]. X:* [right v] is [Right v].  @* [is_left (Left v)] is [true], [is_left (Right v)] is [false].  B* [is_right (Left v)] is [false], [is_right (Right v)] is [true]. ` D* [find_left (Left v)] is [Some v], [find_left (Right _)] is [None]  F* [find_right (Right v)] is [Some v], [find_right (Left _)] is [None]  U* [map_left f e] is [Left (f v)] if [e] is [Left v] and [e] if [e] is [Right _]. $ W* [map_right f e] is [Right (f v)] if [e] is [Right v] and [e] if [e] is [Left _].  i* [map ~left ~right (Left v)] is [Left (left v)], [map ~left ~right (Right v)] is [Right (right v)].  `* [fold ~left ~right (Left v)] is [left v], and [fold ~left ~right (Right v)] is [right v]. { `* [iter ~left ~right (Left v)] is [left v], and [iter ~left ~right (Right v)] is [right v]. 栠 f* [for_all ~left ~right (Left v)] is [left v], and [for_all ~left ~right (Right v)] is [right v]. Q * [equal ~left ~right e0 e1] tests equality of [e0] and [e1] using [left] and [right] to respectively compare values wrapped by [Left _] and [Right _].  * [compare ~left ~right e0 e1] totally orders [e0] and [e1] using [left] and [right] to respectively compare values wrapped by [Left _ ] and [Right _]. [Left _] values are smaller than [Right _] values. @D)../ocamlc0-strict-sequence(-absname"-w8+a-4-9-41-42-44-45-48-70"-g+-warn-error"+A*-bin-annot)-nostdlib*-principal,-safe-string/-strict-formats"-o2stdlib__Either.cmi"-c  1/home/barsac/ci/builds/workspace/bootstrap/stdlib @0R&ffR0        @ @@8CamlinternalFormatBasics0cEXy,W:( 0 }rCT0J){9)@0 }rCT0J){9)AO@@@ܰ@98@@@MLHZ@@@@kj@@  cb@@@@@P@