Up – preface » Preface_laws » Semigroup » For

Module `Semigroup.For`

Parameters
Signature

Parameters

module S : Preface_specs.SEMIGROUP

Signature

val semigroup_1 : unit -> (S.t, S.t -> S.t -> S.t) Law.t