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