compiler/io.github.aplcornell.viaduct.algebra/BoundedMeetSemiLattice

BoundedMeetSemiLattice

interface BoundedMeetSemiLattice<T : MeetSemiLattice<T>>

Provides the identity element in a MeetSemiLattice.

Properties

Link copied to clipboard
abstract val top: T

The greatest element of T.

Inheritors

Link copied to clipboard