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