viaduct
0.2.0-5-g5831d91.dirty
compiler
/
edu.cornell.cs.apl.viaduct.algebra
/
FreeDistributiveLattice
/
meet
meet
open
override
fun
meet
(
that
:
FreeDistributiveLattice
<
A
>
)
:
FreeDistributiveLattice
<
A
>
Content copied to clipboard
The greatest lower bound of
this
and
that
.