For (preface.Preface_laws.Semigroupoid.For)

Parameters

module S : Preface_specs.SEMIGROUPOID

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