viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra
/
FreeDistributiveLattice
/
join
join
open
infix override
fun
join
(
that
:
FreeDistributiveLattice
<
A
>
)
:
FreeDistributiveLattice
<
A
>
The least upper bound of
this
and
that
.