For (preface.Preface_laws.Bifunctor.For)

Parameters

module B : Preface_specs.BIFUNCTOR

val bifunctor_1 : unit -> (('a, 'b) B.t, ('a, 'b) B.t) Law.t

val bifunctor_2 : unit -> (('a, 'b) B.t, ('a, 'b) B.t) Law.t

val bifunctor_3 : unit -> (('a, 'b) B.t, ('a, 'b) B.t) Law.t

val bifunctor_4 : 
  unit ->
  ('a -> 'b, ('c -> 'd) -> ('a, 'c) B.t -> ('b, 'd) B.t) Law.t

val bifunctor_5 : 
  unit ->
  ('a ->
    'b,
    ('c -> 'a) ->
    ('d -> 'e) ->
    ('f -> 'd) ->
    ('c, 'f) B.t ->
    ('b, 'e) B.t)
    Law.t

val bifunctor_6 : 
  unit ->
  ('a -> 'b, ('c -> 'a) -> ('c, 'd) B.t -> ('b, 'd) B.t) Law.t

val bifunctor_7 : 
  unit ->
  ('a -> 'b, ('c -> 'a) -> ('d, 'c) B.t -> ('d, 'b) B.t) Law.t