LAWS (preface.Preface_laws.Arrow

type ('a, 'b) t

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

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

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

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

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