LAWS (preface.Preface_laws.Choice.LAWS)

type ('a, 'b) t

val choice_1 : 
  unit ->
  (('a, 'b) t, (('a, 'c) Stdlib.Either.t, ('b, 'c) Stdlib.Either.t) t) Law.t

val choice_2 : unit -> (('a, 'b) t, ('a, ('b, 'c) Stdlib.Either.t) t) Law.t

val choice_3 : 
  unit ->
  ('a ->
    'b,
    ('c, 'd) t ->
    (('c, 'a) Stdlib.Either.t, ('d, 'b) Stdlib.Either.t) t)
    Law.t

val choice_4 : 
  unit ->
  (('a, 'b) t,
    ((('a, 'c) Stdlib.Either.t, 'd) Stdlib.Either.t,
      (('b, 'c) Stdlib.Either.t, 'd) Stdlib.Either.t)
      t)
    Law.t

val choice_5 : 
  unit ->
  (('a, 'b) t, (('c, 'a) Stdlib.Either.t, ('c, 'b) Stdlib.Either.t) t) Law.t

val choice_6 : unit -> (('a, 'b) t, ('a, ('c, 'b) Stdlib.Either.t) t) Law.t

val choice_7 : 
  unit ->
  ('a ->
    'b,
    ('c, 'd) t ->
    (('a, 'c) Stdlib.Either.t, ('b, 'd) Stdlib.Either.t) t)
    Law.t

val choice_8 : 
  unit ->
  (('a, 'b) t,
    (('c, ('d, 'a) Stdlib.Either.t) Stdlib.Either.t,
      ('c, ('d, 'b) Stdlib.Either.t) Stdlib.Either.t)
      t)
    Law.t