Up
–
preface
»
Preface_laws
»
Bounded_join_semilattice
»
For
»
L
» Infix
Module
L.Infix
val
(||) :
t
->
t
->
t
Infix version of
join
.