For (preface.Preface_laws.Strong.For)

Parameters

module S : Preface_specs.STRONG

val strong_1 : unit -> (('a, 'b) S.t, ('a * 'c, 'b * 'c) S.t) Law.t

val strong_2 : unit -> (('a, 'b) S.t, ('a * 'c, 'b) S.t) Law.t

val strong_3 : unit -> ('a -> 'b, ('c, 'd) S.t -> ('c * 'a, 'd * 'b) S.t) Law.t

val strong_4 : 
  unit ->
  (('a, 'b) S.t, (('a * 'c) * 'd, ('b * 'c) * 'd) S.t) Law.t

val strong_5 : unit -> (('a, 'b) S.t, ('c * 'a, 'c * 'b) S.t) Law.t

val strong_6 : unit -> (('a, 'b) S.t, ('c * 'a, 'b) S.t) Law.t

val strong_7 : unit -> ('a -> 'b, ('c, 'd) S.t -> ('a * 'c, 'b * 'd) S.t) Law.t

val strong_8 : 
  unit ->
  (('a, 'b) S.t, ('c * ('d * 'a), 'c * ('d * 'b)) S.t) Law.t