preface.laws
Semigroupoid.For
preface
preface.core
preface.make
preface.qcheck
preface.specs
preface.stdlib
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