For (preface.Preface_laws.Arrow

Parameters

module A : Preface_specs.ARROW_CHOICE

Signature

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

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

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

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

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