Up – preface » Preface_laws » Monoid » For

Module `Monoid.For`

Parameters
Signature

Parameters

module M : Preface_specs.MONOID

Signature

val monoid_1 : unit -> (M.t, M.t) Law.t

val monoid_2 : unit -> (M.t, M.t) Law.t