viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra
/
BoundedMeetSemiLattice
/
top
top
abstract
val
top
:
T
The greatest element of
T
.