preface.laws
Semigroup.For
preface
preface.core
preface.make
preface.qcheck
preface.specs
preface.stdlib
module S : Preface_specs.SEMIGROUP
val semigroup_1 : unit -> (S.t, S.t -> S.t -> S.t) Law.t