Up
–
preface
»
Preface_laws
»
Monoid
» LAWS
Module type
Monoid.LAWS
type
t
val
monoid_1 :
unit
->
(
t
,
t
)
Law.t
val
monoid_2 :
unit
->
(
t
,
t
)
Law.t