For (preface.Preface_laws.Choice.For)

Parameters

module C : Preface_specs.CHOICE

Signature

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

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

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

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

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

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

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

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