Up
–
preface
»
Preface_laws
»
Semigroup
» LAWS
Module type
Semigroup.LAWS
type
t
val
semigroup_1 :
unit
->
(
t
,
t
->
t
->
t
)
Law.t